Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d.

Samara Burns Richard Zach

Published in: Rev. Symb. Log. (2021)

Keyphrases

modal logic
sequent calculi
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
conditional logic
situation calculus
classical logic
model checking
sequent calculus
query processing
state space
data quality
modal operators