An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

From MaRDI portal
Publication:4713419

DOI10.1093/logcom/1.2.229zbMath0744.03018OpenAlexW2074899782MaRDI QIDQ4713419

Dov M. Gabbay, I. M. Hodkinson

Publication date: 25 June 1992

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/1.2.229



Related Items

Metric temporal logic revisited, Multiagent temporal logics with multivaluations, Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility, Hyperboolean Algebras and Hyperboolean Modal Logic, Metric temporal reasoning with less than two clocks, Derivation rules as anti-axioms in modal logic, Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge, Multiagent temporal logics, unification problems, and admissibilities, Unnamed Item, Temporal multi-valued logic with lost worlds in the past, Many-valued multi-modal logics, satisfiability problem, Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Reasoning about knowledge and conditional probability, Dynamic temporal logical operations in multi-agent logics, Satisfiability problem in interval FP-logic, Formulas expressing totally nonstable truth values of formulas, Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL, Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms, Admissibility and unification in the modal logics related to S4.2, The complexity of temporal logic over the reals, Multi-agent logics with multi-valuations and intensional logical operations, Multi-agent temporal nontransitive linear logics and the admissibility problem, Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms, Inference Rules in Multi-agents’ Temporal Logics, An axiomatization for until and since over the reals without the IRR rule, Branching time logics with multiagent temporal accessibility relations, Axioms for real-time logics, Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility, A system of dynamic modal logic, Temporal logic with accessibility temporal relations generated by time states themselves, A strict implication calculus for compact Hausdorff spaces, Axiomatising first-order temporal logic: Until and since over linear time, Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras, Branching time agents logics, satisfiability problem by rules in reduced form, Some first-order probability logics, Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK, Modal logic with names, Adding a temporal dimension to a logic system, Axiomatisation and decidability of \(F\) and \(P\) in cyclical time, Synthesis for continuous time