Adding a temporal dimension to a logic system
From MaRDI portal
Publication:1314287
DOI10.1007/BF00156915zbMath0798.03031MaRDI QIDQ1314287
Publication date: 3 November 1994
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
modal logicdecidabilitytemporal logictemporal reasoningpossible world semanticshistorical databasesembedding of logicsmodalised systemtemporalisation
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)
Related Items
Judgment and consequence relations, Handling database updates in two-dimensional temporal logic, Importing logics: soundness and completeness preservation, Temporal theories of reasoning, Knowledge and approximations: a formal study under the perspective of information systems and rough set theory, Fibred semantics for feature-based grammar logic, A decidable temporal logic of parallelism, Birkhoff style calculi for hybrid logics, Combined model checking for temporal, probabilistic, and real-time logics, A two‐dimensional metric temporal logic, Tracking and managing deemed abilities, An analytic tableau calculus for a temporalised belief logic, Logics for stable and unstable mereological relations, Modal logic for modelling actions and agents, CafeOBJ Traces, 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10, Probabilization of logics: completeness and decidability, The grammar of code switching, Importing logics, Fibring as biporting subsumes asymmetric combinations, Encoding hybridized institutions into first-order logic, BDI-modelling of complex intracellular dynamics, Event-based time-stamped claim logic, A system of dynamic modal logic, Editors' introduction to the special issue on combining logics, Combining temporal logic systems, Minimal temporal epistemic logic, Completeness and Complexity of Multi-modal CTL, Hybrid dynamic logic institutions for event/data-based systems, Multi-modal CTL: completeness, complexity, and an application, Temporal Aspects of the Dynamics of Knowledge, Epistemic logics with structured knowledge, Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics, The Algebra of Opposition (and Universal Logic Interpretations), Logics for Temporal Information Systems in Rough Set Theory, \({\mathcal E}\)-connections of abstract description systems
Cites Work
- On some \(U,S\)-tense logics
- An axiomatization for until and since over the reals without the IRR rule
- Properties of independently axiomatizable bimodal logics
- Handling database updates in two-dimensional temporal logic
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
