Combining temporal logic systems

DOI10.1305/ndjfl/1040046087zbMath0857.03008OpenAlexW2086974576MaRDI QIDQ1815427

Marcelo Finger, Dov M. Gabbay

Publication date: 11 March 1997

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

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

zbMATH Keywords

completenessdecidabilitysoundnesstemporalizationjoin of temporal systemsmodular combinations of temporal logic systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

A decidable temporal logic of parallelism, Combined model checking for temporal, probabilistic, and real-time logics, A two‐dimensional metric temporal logic, Tracking and managing deemed abilities, Fibred tableaux for multi-implication logics, A logic for quantum register measurements, Decidability results for metric and layered temporal logics, Completeness and Complexity of Multi-modal CTL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decision problem for linear temporal logic
• On some \(U,S\)-tense logics
• Axioms for tense logic. I: 'Since' and 'until'
• Independent propositional modal logics
• An axiomatization for until and since over the reals without the IRR rule
• A conjectured axiomatization of two-dimensional Reichenbachian tense logic
• Adding a temporal dimension to a logic system
• Expressiveness and completeness of an interval tense logic
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Properties of independently axiomatizable bimodal logics
• Handling database updates in two-dimensional temporal logic
• Decidability of Second-Order Theories and Automata on Infinite Trees
• To the memory of Arthur Prior Formal properties of ‘now’
• Two-dimensional modal logic