An axiomatization for until and since over the reals without the IRR rule

DOI10.1007/BF00370112zbMath0785.03006MaRDI QIDQ1207338

M. A. Reynolds

Publication date: 1 April 1993

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

semanticsaxiomatization of temporal logiclinear temporal structuresreal flow of time

Mathematics Subject Classification ID

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

Related Items (13)

Metric temporal logic revisited ⋮ Some modal aspects of XPath ⋮ Metric temporal reasoning with less than two clocks ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Derivation rules as anti-axioms in modal logic ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ The complexity of temporal logic over the reals ⋮ Complete axiomatizations for XPath fragments ⋮ Combining temporal logic systems ⋮ Axiomatising first-order temporal logic: Until and since over linear time ⋮ Adding a temporal dimension to a logic system ⋮ Axiomatisation and decidability of \(F\) and \(P\) in cyclical time ⋮ Synthesis for continuous time

Cites Work

• Unnamed Item
• The decision problem for linear temporal logic
• On some \(U,S\)-tense logics
• The domino relation: Flattening a two-dimensional logic
• The logical study of science
• Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
• A complete deductive-system for since-until branching-time logic
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

This page was built for publication: An axiomatization for until and since over the reals without the IRR rule