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

semantics; axiomatization of temporal logic; linear temporal structures; real flow of time

Mathematics Subject Classification ID

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

Related Items

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

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