On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic.
Domenico CantoneMarianna Nicolosi AsmundoPublished in: CILC (2011)
Keyphrases
- modal logic
- temporal logic
- satisfiability problem
- decision procedures
- model checking
- mazurkiewicz traces
- inference rules
- sat problem
- classical logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- np complete
- stochastic local search algorithms
- default logic
- sat instances
- stochastic local search
- autoepistemic logic
- situation calculus
- explanation based generalization
- phase transition
- pspace complete
- kripke models
- search algorithm