An axiomatization for until and since over the reals without the IRR rule
From MaRDI portal
Publication:1207338
DOI10.1007/BF00370112zbMath0785.03006MaRDI QIDQ1207338
Publication date: 1 April 1993
Published in: Studia Logica (Search for Journal in Brave)
Related Items
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