Keyphrases
- classical logic
- epistemic logic
- dynamic epistemic logic
- modal logic
- logic programming
- sound and complete with respect
- modal operators
- propositional dynamic logic
- real time
- model checking
- logical framework
- sound and complete axiomatization
- dynamic logic
- integrity checking
- automated reasoning
- learning algorithm
- data sets