Axioms for tense logic. I: 'Since' and 'until'

DOI10.1305/NDJFL/1093870149zbMath0452.03021OpenAlexW2008960163WikidataQ114598300 ScholiaQ114598300MaRDI QIDQ1148308

John P. Burgess

Publication date: 1982

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870149

zbMATH Keywords

linear orderstense logicaxiomatization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (15)

Handling database updates in two-dimensional temporal logic ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Unnamed Item ⋮ Verification in continuous time by discrete reasoning ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ Modal information logics: axiomatizations and decidability ⋮ Verification of a technical system model with linear temporal logic ⋮ Tracking and managing deemed abilities ⋮ Completeness for flat modal fixpoint logics ⋮ Step by step – Building representations in algebraic logic ⋮ Branching-time logic with quantification over branches: The point of view of modal logic ⋮ A propositional linear time logic with time flow isomorphic to \(\omega^2\) ⋮ Beliefs supported by binary arguments ⋮ Combining temporal logic systems ⋮ Probabilistic Temporal Logics

This page was built for publication: Axioms for tense logic. I: 'Since' and 'until'