Hypersequent rules with restricted contexts for propositional modal logics

@article{Lellmann2016HypersequentRW,
  title={Hypersequent rules with restricted contexts for propositional modal logics},
  author={Bj{\"o}rn Lellmann},
  journal={Theor. Comput. Sci.},
  year={2016},
  volume={656},
  pages={76-105}
}
As part of a general research programme into the expressive power of different generalisations of the sequent framework we investigate hypersequent calculi given by rules of the newly introduced format of hypersequent rules with context restrictions. The introduced rule format is used to prove uniform syntactic cut elimination, decidability and complexity results. We also introduce transformations between hypersequent rules of this format and Hilbert axioms, entailing a result about the limits… CONTINUE READING