Keyphrases
- epistemic logic
- modal operators
- propositional dynamic logic
- modal logic
- temporal epistemic
- dynamic epistemic logic
- logic programming
- model checking
- logical framework
- proof theory
- kripke models
- sound and complete axiomatization
- sound and complete with respect
- multi agent systems
- three dimensional
- temporal logic
- nonmonotonic logics
- inference rules
- dynamic logic
- formal semantics
- reasoning about actions
- situation calculus
- reasoning tasks
- automated reasoning
- model theoretic
- proof theoretic
- operational semantics
- rule engine
- logic program updates
- knowledge representation
- computation tree logic
- belief revision
- classical logic
- computational properties
- default reasoning
- predicate calculus
- autoepistemic logic
- partially ordered
- algebraic structure
- higher order logic
- intuitionistic logic
- semantic information
- multi dimensional
- predicate logic
- mathematical theory