On the Relationships Between Theories of Time Granularity and the Monadic Second-order Theory of One Successor

Angelo Montanari (1) , Adriano Peron (2) , Gabriele Puppis (3)

1 DIMI - Dipartimento di Matematica e Informatica - Universita Udine
2 Università di Napoli
3 LaBRI - Laboratoire Bordelais de Recherche en Informatique

In this paper we explore the connections between the monadic second-order theory of one successor (MSO[<] for short) and the theories of ω-layered structures for time granularity. We first prove that the decision problem for MSO[<] and that for a suitable first-order theory of the upward unbounded layered structure are inter-reducible. Then, we show that a similar result holds for suitable chain variants of the MSO theory of the totally unbounded layered structure (this allows us to solve some decision problems about theories of time granularity left open by Franceschet et al. [FRA 06]).

Domaines: Logique en informatique [cs.LO]

Angelo Montanari, Adriano Peron, Gabriele Puppis. On the Relationships Between Theories of Time Granularity and the Monadic Second-order Theory of One Successor. Journal of Applied Non-Classical Logics, 2006, 16 (3-4), pp.433-455. ⟨hal-00878425⟩