Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels.

Björn Lellmann

Published in: TABLEAUX (2019)

Keyphrases

modal logic
sequent calculus
inference rules
temporal logic
linear logic
classical logic
epistemic logic
default logic
nonmonotonic logics
situation calculus
conditional logic
description logic alc
dynamic logic
model checking
autoepistemic logic
higher order
explanation based generalization
probabilistic model