On the relationships between theories of time granularity and the monadic second-order theory of one successor

Journal of Applied Non-Classical Logics 16 (3-4):433-455 (2006)
  Copy   BIBTEX

Abstract

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])

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 102,074

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2013-11-24

Downloads
61 (#355,029)

6 months
8 (#629,124)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations