Keyphrases
- propositional calculus
- epistemic logic
- modal logic
- propositional dynamic logic
- modal operators
- model checking
- temporal logic
- inference rules
- belief change
- computation tree logic
- dynamic epistemic logic
- default reasoning
- proof theory
- logical framework
- logic program updates
- multi faceted
- artificial intelligence
- multi agent systems
- database systems