Keyphrases
- nonmonotonic logics
- autoepistemic logic
- default logic
- propositional logic
- propositional dynamic logic
- proof theory
- valued semantics
- proof theoretic
- logic programming
- epistemic logic
- conditional logic
- first order logic
- sound and complete axiomatization
- coalition logic
- model theoretic
- logical framework
- nonmonotonic reasoning
- modal logic
- formal semantics
- classical first order logic
- expressive power
- default reasoning
- algebraic structure
- computational properties
- classical logic
- inference rules
- propositional variables
- proof procedures
- higher order logic
- disjunctive logic programming
- kripke models
- truth maintenance systems
- modal operators
- predicate calculus
- mathematical theory
- dynamic logic
- epistemic states
- default theories
- belief revision
- minimal models
- logical theories
- temporal logic
- logic programs
- data model