Comparing the Different Generalisations of the Sequent Calculus

  • Francesca PoggiolesiEmail author
Part of the Trends in Logic book series (TREN, volume 32)


We have thus introduced the main generalisations of the sequent calculus for modal propositional logic. Their analysis may be further developed, in particular from the perspective of deepening our understanding of the links between these generalisations. Wansing [147, p. 171] stresses the importance of this issue:


  1. 6.
    A. Avron. The method of hypersequents in the proof theory of propositional non-classical logic. In W. Hodges, M. Hyland, C. Steinhorn, and J. Strauss, editors, Logic: from Foundations to Applications, pp. 1–32. Oxford University Press, Oxford, 1996.Google Scholar
  2. 51.
    R. Goré and A. Tiu. Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5. Journal of Logic and Computation, 17:767–794, 2007.CrossRefGoogle Scholar
  3. 82.
    G. Mints. Indexed systems of sequents and cut-elimination. Journal of Philosophical Logic, 26:671–696, 1997.CrossRefGoogle Scholar
  4. 116.
    G. Restall. Comparing modal sequent systems. Unpublished manuscript, pp. 1–13, 2006.Google Scholar
  5. 149.
    H. Wansing. Sequent systems for modal logics. In Handbook of Philosophical Logic, Vol 8, pp. 61–145. Kluwer, Dordrecht, 2002.Google Scholar
  6. 147.
    H. Wansing. Displaying Modal Logic. Kluwer Academic Publisher, Dordrecht, 1998.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations


Personalised recommendations