Decidability results for metric and layered temporal logics

DOI10.1305/NDJFL/1040046089MaRDI QIDQ1815429zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Publication:4952306
• Theories of  -layered metric temporal structures: expressiveness and decidability
• Decidable metric logics
• Tools and Algorithms for the Construction and Analysis of Systems
• On the decidability and complexity of Metric Temporal Logic over finite words

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 1536547 (Why is no real title available?)
• scientific article; zbMATH DE number 1444726 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3316928 (Why is no real title available?)
• A set-theoretic translation method for polymodal logics
• Combining temporal logic systems
• Embedding time granularity in a logical specification language for synchronous real-time systems
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
• Real-time logics: Complexity and expressiveness
• Specifying message passing and time-critical systems with temporal logic
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(11)

• On Metric Temporal Łukasiewicz Logic
• On the relationships between theories of time granularity and the monadic second-order theory of one successor
• Decidable metric logics
• A two-level temporal logic for evolving specifications.
• Definability and decidability of binary predicates for time granularity
• scientific article; zbMATH DE number 1405657 (Why is no real title available?)
• Decidability of logics based on an indeterministic metric tense logic
• On the decidability and complexity of Metric Temporal Logic over finite words
• Tools and Algorithms for the Construction and Analysis of Systems
• Timer formulas and decidable metric temporal logic
• scientific article; zbMATH DE number 1444726 (Why is no real title available?)

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

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