Gentzen calculi for modal propositional logic - Poggiolesi Francesca (New York Springer-Verlag, 2011)
Keywords: Mathematical logic; Modality(Logic); Symbolic logic