The 0-1 law fails for frame satisfiability of propositional modal logic.
Jean-Marie Le BarsPublished in: LICS (2002)
Keyphrases
- modal logic
- decision procedures
- description logic alc
- default logic
- prime implicates
- propositional logic
- temporal logic
- autoepistemic logic
- satisfiability testing
- inference rules
- nonmonotonic logics
- satisfiability problem
- model theoretic
- classical logic
- epistemic logic
- default reasoning
- conditional logic
- first order logic
- nonmonotonic reasoning
- general logic programs
- description logics
- propositional formulas
- belief revision
- propositional theories
- explanation based generalization
- default theories
- dynamic logic
- cnf formula
- situation calculus
- boolean formula
- legal reasoning
- knowledge base
- phase transition
- programming language
- computational complexity