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 (8)

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

This page was built for publication: Combining temporal logic systems