The SAT-Based Approach for Classical Modal Logics.

Enrico Giunchiglia Fausto Giunchiglia Armando Tacchella

Published in: AI*IA (1999)

Keyphrases

modal logic
temporal logic
decision procedures
satisfiability problem
inference rules
nonmonotonic logics
epistemic logic
classical logic
autoepistemic logic
modal operators
default logic
sat problem
model checking
stochastic local search
cooperative