Combining temporal logic systems

DOI10.1305/NDJFL/1040046087zbMATH Open0857.03008OpenAlexW2086974576MaRDI QIDQ1815427FDOQ1815427

Authors Marcelo Finger, Dov 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)

Recommendations

• The Unrestricted Combination of Temporal Logic Systems
• The temporal logic of branching time
• scientific article; zbMATH DE number 1536544
• Adding a temporal dimension to a logic system
• A decision procedure for combinations of propositional temporal logic and other specialized theories

Cites work

• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 3827831 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• A conjectured axiomatization of two-dimensional Reichenbachian tense logic
• Adding a temporal dimension to a logic system
• An axiomatization for until and since over the reals without the IRR rule
• Axioms for tense logic. I: 'Since' and 'until'
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Expressiveness and completeness of an interval tense logic
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Handling database updates in two-dimensional temporal logic
• Independent propositional modal logics
• On some \(U,S\)-tense logics
• Properties of independently axiomatizable bimodal logics
• The decision problem for linear temporal logic
• To the memory of Arthur Prior Formal properties of ‘now’
• Two-dimensional modal logic

Cited in

(18)

• A logic for quantum register measurements
• scientific article; zbMATH DE number 2243382 (Why is no real title available?)
• Fibred tableaux for multi-implication logics
• scientific article; zbMATH DE number 1418362 (Why is no real title available?)
• Combined model checking for temporal, probabilistic, and real-time logics
• Completeness and complexity of multi-modal CTL
• Mixed-time signal temporal logic
• scientific article; zbMATH DE number 4166881 (Why is no real title available?)
• Decidability results for metric and layered temporal logics
• Temporalising Logics: Fifteen Years After
• The Unrestricted Combination of Temporal Logic Systems
• Extending Ina Jo with temporal logic
• A decidable temporal logic of parallelism
• scientific article; zbMATH DE number 1738293 (Why is no real title available?)
• Integrated Formal Methods
• scientific article; zbMATH DE number 1536544 (Why is no real title available?)
• Tracking and managing deemed abilities
• A two-dimensional metric temporal logic

This page was built for publication: Combining temporal logic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815427)