A SAT-Based Approach For PSPACE Modal Logics.
Jean-Marie LagniezDaniel Le BerreTiago de LimaValentin MontmirailPublished in: KR (2018)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- satisfiability problem
- inference rules
- mazurkiewicz traces
- model checking
- epistemic logic
- sat problem
- default logic
- nonmonotonic logics
- automated reasoning
- theorem proving
- situation calculus
- search algorithm
- sat solvers
- classical logic
- stochastic local search
- propositional satisfiability
- model theoretic
- autoepistemic logic
- multi agent
- phase transition
- constraint satisfaction
- special case
- modal operators