Adequacy Results for Some Priorean Modal Propositional Logics.
Fabrice CorreiaPublished in: Notre Dame J. Formal Log. (1999)
Keyphrases
- modal logic
- propositional variables
- nonmonotonic logics
- default logic
- propositional logic
- coalition logic
- cl pc
- prime implicates
- logic programming
- autoepistemic logic
- classical first order logic
- dynamic logic
- model checking
- inference rules
- temporal logic
- boolean games
- satisfiability problem
- logical framework
- first order logic
- nonmonotonic reasoning
- decision procedures
- conditional logic
- conjunctive normal form
- horn clauses
- epistemic logic
- situation calculus
- linearly ordered
- classical logic
- default reasoning
- default theories
- modal operators
- proof procedure
- belief revision
- kripke models
- database
- model theoretic
- probabilistic logic
- multi valued
- expressive power
- logic programs