Keyphrases
- logic programming
- proof theory
- computational properties
- propositional dynamic logic
- sound and complete axiomatization
- formal semantics
- nonmonotonic logics
- epistemic logic
- default reasoning
- sound and complete with respect
- modal logic
- multi agent systems
- predicate calculus
- derivation rules
- proof theoretic
- evaluation method
- modal operators
- evaluation model
- classical logic
- multi valued
- automated reasoning
- nonmonotonic reasoning