C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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