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 present an axiomatization for this logic but show that it does not have the finite model property. This shows that the mosaic method is sometimes a stronger way of establishing decidability.
Citations
|
965
|
Reasoning About Knowledge
– Fagin, Halpern, et al.
- 1994
|
|
103
|
Two-dimensional modal logic
– Segerberg
- 1973
|
|
76
|
Many-dimensional modal logic
– Venema
- 1992
|
|
60
|
Adding a temporal dimension to a logic system
– Finger, Gabbay
- 1992
|
|
44
|
Combinations of Tense and Modality
– Thomason
- 1984
|
|
28
|
Complexity of modal logics of relations
– Marx
- 1997
|
|
25
|
Seeing to it that: a canonical form for agentives
– Perloff
- 1988
|
|
22
|
Logic and time
– Burgess
- 1979
|
|
19
|
The decision problem for branching time logic
– Gurevich, Shelah
- 1985
|
|
15
|
Branching-time logic with quantification over branches: the point of view of modal logic
– Zanardo
- 1996
|
|
13
|
A multiprocess network logic with temporal and spatial modalities
– Reif, Sistla
- 1985
|
|
13
|
Reasoning with many processes
– Sistla, German
- 1987
|
|
9
|
A finite axiomatization of the set of strongly valid Ockhamist formulas
– Zanardo
- 1985
|
|
8
|
An axiomatization of the temporal logic with Until and Since over the real numbers
– Gabbay, Hodkinson
- 1990
|
|
7
|
Changing the Past: Database Applications of Two-Dimensional Temporal Logics
– Finger
- 1994
|
|
7
|
Free Algebras and Decidability in Algebraic Logic
– Nemeti
- 1986
|
|
7
|
Independent Propositional Modal Logics
– Thomason
- 1980
|
|
5
|
Combining Temporal Logic Systems. Notre Dame
– Finger, Gabbay
- 1996
|
|
5
|
Axiomatization of `Peircean' branching-time logic
– Zanardo
- 1990
|
|
4
|
Synchronized histories in priorthomason representation of branching time
– Maio, Zanardo
- 1994
|
|
4
|
A complete deductive system for since-until branching time logic
– Zanardo
- 1991
|
|
3
|
T W completeness
– Kutschera
- 1997
|
|
2
|
Mosaics and step-by-step
– Hirsch, Hodkinson, et al.
- 1996
|
|
2
|
Mosaics and cylindric modal logic of dimension 2
– Marx
- 1996
|
|
1
|
A Gabbay-rule free axiomatization of T \Theta W validity
– Maio, Zanardo
- 1996
|
|
1
|
Temporal mosaics
– Marx, Mikulas, et al.
- 1996
|
