Decidability and Expressive Power of Real Time Logics

DOI10.1007/11867340_3MaRDI QIDQ3511220zbMATH OpenOpenAlexFDO

Authors Alexander Rabinovich

Publication date 8 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11867340_3

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Real-time logics: Complexity and expressiveness
• scientific article; zbMATH DE number 2112984
• Realizability of real-time logics
• An Expressive Temporal Logic for Real Time
• scientific article; zbMATH DE number 1693545
• Axioms for real-time logics
• scientific article; zbMATH DE number 1304994
• From real-time logic to timed automata
• scientific article; zbMATH DE number 1231547
• Suitability of the propositional temporal logic to express properties of real-time systems

Cited in

(8)

• Advances in Parametric Real-Time Reasoning
• Three variables suffice for real-time logic
• Monadic Logic of Order over Naturals has no Finite Base
• scientific article; zbMATH DE number 2112984 (Why is no real title available?)
• Real-Time Definable Languages
• An Expressive Temporal Logic for Real Time
• Decidability of the initial-state opacity of real-time automata
• Reasoning about real-time repetitions: Terminating and nonterminating

This page was built for publication: Decidability and Expressive Power of Real Time Logics

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