Nested Sequents for Quantified Modal Logics.

Tim S. Lyon Eugenio Orlandelli

Published in: TABLEAUX (2023)

Keyphrases

modal logic
sequent calculus
inference rules
temporal logic
decision procedures
linear logic
epistemic logic
classical logic
nonmonotonic logics
default logic
situation calculus
special case