Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality.

Published in: TABLEAUX (2021)

Keyphrases

modal logic
sequent calculi
multi modal
temporal logic
inference rules
decision procedures
conditional logic
medical images
nonmonotonic logics
classical logic
situation calculus
sequent calculus
default logic
epistemic logic