Axioms for real-time logics

DOI10.1016/S0304-3975(00)00308-XzbMath0994.03009OpenAlexW2007555774WikidataQ114655904 ScholiaQ114655904MaRDI QIDQ5958467

Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00308-x

zbMATH Keywords

completenessreal timelinear temporal logicaxiomatization

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items

Adequacy and complete axiomatization for timed modal logic ⋮ Towards an Algebra for Real-Time Programs ⋮ Quantitative temporal logics over the reals: PSpace and below ⋮ A contract-based approach to adaptivity ⋮ Distributed Event Clock Automata ⋮ Model-checking Timed Temporal Logics ⋮ A tool for deciding the satisfiability of continuous-time metric temporal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specifying message passing and time-critical systems with temporal logic
• Model-checking in dense real-time
• The existence of refinement mappings
• Incompleteness of first-order temporal logic with until
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• The benefits of relaxing punctuality
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

This page was built for publication: Axioms for real-time logics