Keyphrases
- propositional dynamic logic
- conditional logic
- nonmonotonic logics
- epistemic logic
- proof theory
- expressive power
- logic programming
- formal semantics
- modal operators
- modal logic
- higher order logic
- computational properties
- spatial reasoning
- proof theoretic
- semantic information
- valued semantics
- default reasoning
- valued logic
- data sets
- intuitionistic logic
- inference rules
- human behavior
- autoepistemic logic
- model checking
- dynamic logic
- proof procedures
- kripke models
- knowledge representation formalisms
- decision procedures
- programming language
- object oriented
- knowledge representation