Keyphrases
- default logic
- coalition logic
- expressive power
- propositional logic
- classical first order logic
- first order logic
- modal logic
- nonmonotonic logics
- propositional variables
- logic programming
- autoepistemic logic
- linearly ordered
- logical framework
- horn logic
- inference rules
- knowledge representation
- probabilistic logic
- model checking
- satisfiability testing
- prime implicates
- dynamic logic
- nonmonotonic reasoning
- default reasoning
- decision procedures
- classical logic
- dependence structure
- epistemic logic
- modus ponens