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)

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

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)