Adding a temporal dimension to a logic system

DOI10.1007/BF00156915zbMATH Open0798.03031MaRDI QIDQ1314287FDOQ1314287

Dov Gabbay, Marcelo Finger

Publication date: 3 November 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

decidabilitymodal logictemporal reasoningtemporal logicpossible world semanticshistorical databasesembedding of logicsmodalised systemtemporalisation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Database theory (68P15) Logic in computer science (03B70)

Cites Work

• An axiomatization for until and since over the reals without the IRR rule
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Properties of independently axiomatizable bimodal logics
• On some \(U,S\)-tense logics
• Handling database updates in two-dimensional temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (37)

• Combined model checking for temporal, probabilistic, and real-time logics
• Handling database updates in two-dimensional temporal logic
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• Judgment and consequence relations
• Completeness and Complexity of Multi-modal CTL
• CafeOBJ Traces
• Modal logic for modelling actions and agents
• A system of dynamic modal logic
• A two‐dimensional metric temporal logic
• Probabilization of logics: completeness and decidability
• Logics for Temporal Information Systems in Rough Set Theory
• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
• Temporal theories of reasoning
• \({\mathcal E}\)-connections of abstract description systems
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• The grammar of code switching
• Combining temporal logic systems
• Encoding hybridized institutions into first-order logic
• An analytic tableau calculus for a temporalised belief logic
• A decidable temporal logic of parallelism
• Event-based time-stamped claim logic
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
• BDI-modelling of complex intracellular dynamics
• Multi-modal CTL: completeness, complexity, and an application
• The Algebra of Opposition (and Universal Logic Interpretations)
• Birkhoff style calculi for hybrid logics
• Hybrid dynamic logic institutions for event/data-based systems
• Editors' introduction to the special issue on combining logics
• Minimal temporal epistemic logic
• Fibred semantics for feature-based grammar logic
• Importing logics: soundness and completeness preservation
• Logics for stable and unstable mereological relations
• Importing logics
• Tracking and managing deemed abilities
• Temporal Aspects of the Dynamics of Knowledge
• Fibring as biporting subsumes asymmetric combinations
• Epistemic logics with structured knowledge

This page was built for publication: Adding a temporal dimension to a logic system

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