Propositional Modal Logic of Programs (Extended Abstract)
Michael J. FischerRichard E. LadnerPublished in: STOC (1977)
Keyphrases
- extended abstract
- modal logic
- default logic
- prime implicates
- dynamic logic
- temporal logic
- autoepistemic logic
- decision procedures
- inference rules
- epistemic logic
- nonmonotonic logics
- classical logic
- propositional logic
- model checking
- conditional logic
- situation calculus
- horn clauses
- explanation based generalization
- artificial intelligence
- general logic programs
- default theories
- answer sets
- satisfiability problem
- partial order
- knowledge representation