Keyphrases
- epistemic logic
- dynamic epistemic logic
- modal logic
- modal operators
- logic programming
- multi valued
- automated reasoning
- machine learning
- classical logic
- belief change
- multi agent systems
- nonmonotonic logics
- predicate logic
- information systems
- propositional dynamic logic
- logical framework
- computational properties
- reasoning about actions
- bayesian networks
- deontic logic
- proof theory
- databases
- computation tree logic