Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants.
Rohan FrenchPublished in: Notre Dame J. Formal Log. (2012)
Keyphrases
- logic programs
- modal logic
- autoepistemic logic
- logic programming
- default logic
- propositional variables
- horn clauses
- nonmonotonic logics
- decision procedures
- inference rules
- temporal logic
- classical logic
- propositional logic
- situation calculus
- default theories
- epistemic logic
- dynamic logic
- conditional logic
- linearly ordered
- first order logic
- deductive databases
- expert systems
- cooperative
- reinforcement learning
- artificial intelligence