The Expressive Power of Second-Order Propositional Modal Logic.
Michael KaminskiMichael L. TiomkinPublished in: Notre Dame J. Formal Log. (1996)
Keyphrases
- expressive power
- modal logic
- first order logic
- default logic
- prime implicates
- inference rules
- temporal logic
- autoepistemic logic
- propositional logic
- decision procedures
- query language
- data complexity
- transitive closure
- default reasoning
- classical logic
- default theories
- computational properties
- epistemic logic
- nonmonotonic logics
- horn clauses
- conditional logic
- knowledge representation
- situation calculus
- nonmonotonic reasoning
- relational algebra
- probabilistic reasoning
- relational calculus
- incomplete information
- knowledge representation and reasoning
- dynamic logic
- database systems
- closure properties