Temporalized logics and automata for time granularity

DOI10.1017/S147106840400208XMaRDI QIDQ4669652zbMATH OpenFDO

Authors Angelo Montanari, Massimo Franceschet

Publication date 15 April 2005

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

temporal logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity
• Representing and Reasoning about Temporal Granularities
• Theories of  -layered metric temporal structures: expressiveness and decidability
• On the relationships between theories of time granularity and the monadic second-order theory of one successor
• scientific article; zbMATH DE number 1832332

Cited in

(12)

• The taming (timing) of the states
• Temporal logics on words with multiple data values
• Automated deduction in a graphical temporal logic
• A timeband framework for modelling real-time systems
• On the relationships between theories of time granularity and the monadic second-order theory of one successor
• Graded Alternating-Time Temporal Logic
• Modelling temporal behaviour in complex systems with Timebands
• Definability and decidability of binary predicates for time granularity
• Compact and tractable automaton-based representations of time granularities
• Automata and temporal logic over arbitrary linear time
• Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity
• scientific article; zbMATH DE number 739127 (Why is no real title available?)

This page was built for publication: Temporalized logics and automata for time granularity

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