Keyphrases
- modal operators
- epistemic logic
- modal logic
- computation tree logic
- dynamic epistemic logic
- multi valued
- temporal logic
- situation calculus
- nonmonotonic logics
- propositional dynamic logic
- bounded model checking
- description logics
- dynamic logic
- partially ordered
- automated reasoning
- databases
- logical framework
- model checking
- building blocks
- logic programming
- linear temporal logic
- programming language
- database systems
- artificial intelligence
- genetic algorithm