Decidability of the interval temporal logic ABBar over the natural numbers
Angelo MontanariGabriele PuppisPietro SalaGuido SciaviccoPublished in: CoRR (2009)
Keyphrases
- temporal logic
- automata theoretic
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- decision procedures
- linear temporal logic
- description logics
- temporal knowledge
- model checker
- computation tree logic
- temporally extended goals
- verification method
- real numbers
- query answering
- belief revision
- reactive systems
- formal verification
- formal specification language