SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.

Roberto Sebastiani Adolfo Villafiorita

Published in: AIMSA (1998)

Keyphrases

theoretical framework
decision procedures
modal logic
temporal logic
automated reasoning
theoretical foundation
inference rules
theorem proving
answer set programming
model theoretic
epistemic logic
situation calculus
default logic
nonmonotonic logics
sat solvers
model checking
answer sets
databases