Login / Signup
Strengthening Consistency Results in Modal Logic.
Samuel Allen Alexander
Arthur Paul Pedersen
Published in:
TARK (2023)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
epistemic logic
nonmonotonic logics
classical logic
dynamic logic
cooperative
conditional logic
prime implicates
explanation based generalization
model checking
default logic
sequent calculus