Keyphrases
- modal logic
- kripke models
- epistemic logic
- nonmonotonic logics
- conditional logic
- inference rules
- propositional dynamic logic
- proof theory
- temporal logic
- modal operators
- autoepistemic logic
- model checking
- dynamic logic
- proof procedures
- classical logic
- logical framework
- higher order logic
- proof theoretic
- computational properties
- decision procedures
- databases
- formal semantics
- nonmonotonic reasoning
- propositional calculus
- valued logic
- valued semantics
- knowledge base
- intuitionistic logic
- theorem prover
- knowledge representation
- conceptual model