This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
S. Blumey , & L Humberstone . (1991). A perspective on modal sequent logic. Publications of the Research Institute for Mathematical Sciences, Kyoto University, 27, 763–782.
T Braüner . (2000). A cut-free Gentzen formulation of the modal logic S5. Logic Journal of the IGPL, 8, 629–643.
C Cerrato . (1993). Cut-free modal sequents for normal modal logics. Notre-Dame Journal of Formal Logic, 34, 564–582.
K Došen . (1985). Sequent systems for modal logic. Journal of Symbolic Logic, 50, 149–159.
G Mints . (1997). Indexed systems of sequents and cut-elimination. Journal of Philosophical Logic, 26, 671–696.
S Negri . (2005). Proof analysis in modal logic. Journal of Philosophical Logic, 34, 507–534.
M Sato . (1980). A cut-free Gentzen-type system for the modal logic s5. Journal of Symbolic Logic, 45, 67–84.
H Wansing . (1994). Sequent calculi for normal modal propositional logics. Journal of Logic and Computation, 4, 125–142.