A Decidable Temporal Logic of Parallelism

Notre Dame Journal of Formal Logic 38 (3):419-436 (1997)
  Copy   BIBTEX

Abstract

In this paper we shall introduce a simple temporal logic suitable for reasoning about the temporal aspects of parallel universes, parallel processes, distributed systems, or multiple agents. We will use a variant of the mosaic method to prove decidability of this logic. We also show that the logic does not have the finite model property. This shows that the mosaic method is sometimes a stronger way of establishing decidability

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

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

Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
An Event-Based Fragment of First-Order Logic Over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
Primitive Worlds.Takashi Yagisawa - 2002 - Acta Analytica 17 (1):19-37.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
A Complete, Decidable Theory with Two Decidable Models.Terrence S. Millar - 1979 - Journal of Symbolic Logic 44 (3):307-312.
Effectiveness and Multivalued Logics.Giangiacomo Gerla - 2006 - Journal of Symbolic Logic 71 (1):137 - 162.
A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.
Bisimulations for Temporal Logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
Unification Grammars and Off-Line Parsability.Efrat Jaeger, Nissim Francez & Shuly Wintner - 2005 - Journal of Logic, Language and Information 14 (2):199-234.

Analytics

Added to PP
2010-08-24

Downloads
44 (#263,519)

6 months
1 (#418,924)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Two-Dimensional Modal Logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
Logic and Time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.

View all 13 references / Add more references