Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.

Kristina Brantley

Published in: Bull. Symb. Log. (2020)

Keyphrases

modal logic
classical logic
valued logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
default logic
situation calculus
model checking
autoepistemic logic
sequent calculus
query answering