Nested Sequents for Quantified Modal Logics.

Tim S. Lyon Eugenio Orlandelli

Published in: CoRR (2023)

Keyphrases

modal logic
sequent calculus
inference rules
temporal logic
decision procedures
linear logic
classical logic
nonmonotonic logics
epistemic logic
situation calculus
default logic
theorem proving
logical framework
machine learning
autoepistemic logic
natural deduction