Temporalized logics and automata for time granularity
From MaRDI portal
Publication:4669652
DOI10.1017/S147106840400208XzbMATH Open1088.68105MaRDI QIDQ4669652FDOQ4669652
Angelo Montanari, Massimo Franceschet
Publication date: 15 April 2005
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
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
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)
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
- Graded Alternating-Time Temporal Logic
- Definability and decidability of binary predicates for time granularity
- The taming (timing) of the states
- Title not available (Why is that?)
- 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)
