Decidability results for metric and layered temporal logics

DOI10.1305/NDJFL/1040046089zbMath0858.03018OpenAlexW2032489844MaRDI QIDQ1815429

Angelo Montanari, Alberto Policriti

Publication date: 19 March 1997

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/f31ed54db3d65d509276d20c019179c047dd0902

zbMATH Keywords

decidabilitytime granularitymetric and layered temporal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (3)

Definability and decidability of binary predicates for time granularity ⋮ On the relationships between theories of time granularity and the monadic second-order theory of one successor ⋮ A two-level temporal logic for evolving specifications.

Cites Work

• Specifying message passing and time-critical systems with temporal logic
• Embedding time granularity in a logical specification language for synchronous real-time systems
• Real-time logics: Complexity and expressiveness
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
• Combining temporal logic systems
• A set-theoretic translation method for polymodal logics
• Weak Second‐Order Arithmetic and Finite Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidability results for metric and layered temporal logics