On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic.
Domenico CantoneMarianna Nicolosi AsmundoPublished in: Fundam. Informaticae (2013)
Keyphrases
- modal logic
- temporal logic
- satisfiability problem
- decision procedures
- model checking
- inference rules
- epistemic logic
- mazurkiewicz traces
- dynamic logic
- np complete
- pspace complete
- classical logic
- default logic
- stochastic local search
- belief revision
- sat problem
- nonmonotonic logics
- conditional logic
- situation calculus
- max sat
- prime implicates
- propositional logic
- explanation based generalization
- search algorithm