Keyphrases
- modal operators
- modal logic
- temporal logic
- epistemic logic
- model checking
- computation tree logic
- dynamic logic
- predicate logic
- formal theory
- linear temporal logic
- dynamic epistemic logic
- situation calculus
- inference rules
- nonmonotonic logics
- reasoning about actions
- bounded model checking
- causal models
- model checker
- propositional dynamic logic
- kripke models
- classical logic
- default logic
- description logics
- artificial intelligence
- belief update
- belief revision
- neural network
- real time