What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.
Davide BresolinAngelo MontanariPietro SalaGuido SciaviccoPublished in: LICS (2011)
Keyphrases
- temporal logic
- automata theoretic
- modal logic
- model checking
- satisfiability problem
- predicate logic
- modal operators
- linear temporal logic
- computation tree logic
- belief revision
- inference rules
- bounded model checking
- classical logic
- logical framework
- artificial intelligence
- sufficient conditions
- knowledge representation
- cooperative