Switch to: References

Add citations

You must login to add citations.
  1. Display Calculi and Other Modal Calculi: A Comparison.Francesca Poggiolesi - 2010 - Synthese 173 (3):259-279.
    In this paper we introduce and compare four different syntactic methods for generating sequent calculi for the main systems of modal logic: the multiple sequents method, the higher-arity sequents method, the tree-hypersequents method and the display method. More precisely we show how the first three methods can all be translated in the fourth one. This result sheds new light on these generalisations of the sequent calculus and raises issues that will be examined in the last section.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations