Relations Between Propositional Normal Modal Logics: An Overview.
Rajeev GoréWolfgang HeinleAlain HeuerdingPublished in: J. Log. Comput. (1997)
Keyphrases
- modal logic
- default logic
- inference rules
- horn clauses
- autoepistemic logic
- decision procedures
- temporal logic
- nonmonotonic logics
- situation calculus
- propositional logic
- classical logic
- first order logic
- logical theories
- epistemic logic
- conditional logic
- default reasoning
- dynamic logic
- default theories
- probabilistic logic
- satisfiability problem
- modal operators
- search algorithm