Axioms for real-time logics

DOI10.1016/S0304-3975(00)00308-XMaRDI QIDQ5958467zbMATH OpenOpenAlexWikidataFDO

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

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

axiomatizationcompletenesslinear temporal logicreal time

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1304994
• Propositional temporal logics: decidability and completeness
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Completeness of temporal logics over infinite intervals.
• Realizability of real-time logics

Cites work

• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 3767031 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)
• Incompleteness of first-order temporal logic with until
• Model-checking in dense real-time
• Specifying message passing and time-critical systems with temporal logic
• The benefits of relaxing punctuality
• The existence of refinement mappings

Cited in

(13)

• An axiomatization for until and since over the reals without the IRR rule
• A tool for deciding the satisfiability of continuous-time metric temporal logic
• Adequacy and complete axiomatization for timed modal logic
• Towards an algebra for real-time programs
• Decidability and Expressive Power of Real Time Logics
• Axiomatizing Extended Temporal Logic Fragments Via Instantiation
• scientific article; zbMATH DE number 1304994 (Why is no real title available?)
• scientific article; zbMATH DE number 2112984 (Why is no real title available?)
• Axioms for Obligation and Robustness with Temporal Logic
• Model-checking timed temporal logics
• Distributed event clock automata (extended abstract)
• A contract-based approach to adaptivity
• Quantitative temporal logics over the reals: PSpace and below

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5958467)