Verified Decision Procedures for Modal Logics.

Minchao Wu Rajeev Goré

Published in: ITP (2019)

Keyphrases

decision procedures
modal logic
temporal logic
inference rules
theorem proving
model theoretic
automated reasoning
epistemic logic
nonmonotonic logics
databases
default logic
modal operators
quantified boolean formulas