Gentzen Calculi for Modal Propositional Logic

Francesca Poggiolesi, H. Wansing (Editor)

Research output: Book/ReportBookResearch


The problem that we shall tackle in this book can be succinctly expressed
in the following way: there is a lack of a good sequent calculus for (at least) the
main systems of modal propositional logic. In order to present this problem in
the clearest way, we begin by explaining what a sequent calculus is and what
modal logic is. Then we present the several efforts made from the 50's until today in order to solve the problem. Finally we dedicate the third and last part of the book for introducing and explaining our solution.
Original languageEnglish
Number of pages256
ISBN (Print)978-90-481-9669-2
Publication statusPublished - 2010

Publication series

NameTrends in Logic

Bibliographical note

H. Wansing


  • modal logic, sequent calculus


Dive into the research topics of 'Gentzen Calculi for Modal Propositional Logic'. Together they form a unique fingerprint.

Cite this