A decidable temporal logic of parallelism

DOI10.1305/ndjfl/1039700748zbMath0904.03010OpenAlexW2040022302MaRDI QIDQ1130239

M. A. Reynolds

Publication date: 19 January 1999

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039700748

zbMATH Keywords

distributed systemsdecidabilityfinite model propertytemporal logicparallel processesmultiple agentsparallel universesmosaic method

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Other applications of logic (03B80)

Related Items

The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Системы временной логики I: моменты, истории, деревья ⋮ A decidable temporal logic of parallelism ⋮ Completeness of a functional system for surjective functions ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ Products of ‘transitive” modal logics ⋮ Modal logics of succession for 2-dimensional integral spacetime ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ Generalization of some properties of relations in the context of functional temporal×modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A multiprocess network logic with temporal and spatial modalities
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• A decidable temporal logic of parallelism
• Independent propositional modal logics
• Extending partial isomorphisms of graphs
• A Gabbay-rule free axiomatization of \(T\times W\) validity
• Causation
• Adding a temporal dimension to a logic system
• T \(\times\) W completeness
• Combining temporal logic systems
• Extending partial isomorphisms on finite structures
• The decision problem for branching time logic
• Logic and time
• Complexity of products of modal logics
• Two-dimensional modal logic