Decidability of Interval Temporal Logics over Split-Frames via Granularity.
Angelo MontanariGuido SciaviccoNicola VitacolonnaPublished in: JELIA (2002)
Keyphrases
- temporal logic
- automata theoretic
- model checking
- modal logic
- mazurkiewicz traces
- concurrent systems
- satisfiability problem
- decision procedures
- description logics
- video frames
- transition systems
- verification method
- temporal knowledge
- predicate logic
- moving objects
- query answering
- belief revision
- computation tree logic
- formal specification
- bounded model checking
- cellular automata
- temporal resolution
- frame rate
- image sequences