Keyphrases
- modal logic
- decision procedures
- sound and complete axiomatization
- nonmonotonic logics
- default logic
- propositional variables
- propositional logic
- cl pc
- conditional logic
- multi valued
- coalition logic
- autoepistemic logic
- dynamic logic
- temporal logic
- probabilistic logic
- logic programming
- classical logic
- model checking
- inference rules
- proof procedure
- model theoretic
- predicate calculus
- horn clauses
- first order logic
- deductive reasoning
- classical first order logic
- automated reasoning
- defeasible logic
- modal operators
- belief revision
- satisfiability problem
- kripke models
- logical framework
- team members
- default reasoning
- transition systems
- robotic soccer
- propositional theories
- asynchronous circuits
- satisfiability testing
- statistical relational learning
- logic programs
- default theories