Satisfiability vs. Finite Satisfiability in Elementary Modal Logics

Jakub Michaliszyn Jan Otop Piotr Witkowski

Published in: GandALF (2012)

Keyphrases

decision procedures
modal logic
satisfiability problem
temporal logic
quantified boolean formulas
inference rules
propositional logic
theorem proving
automated reasoning
computational complexity
phase transition
model checking
sat problem
nonmonotonic logics
epistemic logic
default logic
satisfiability testing