Gentzen Calculi for Modal Propositional Logic

Francesca Poggiolesi, H. Wansing (Redacteur)

Onderzoeksoutput: BookResearch


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.
Originele taal-2English
Aantal pagina's256
ISBN van geprinte versie978-90-481-9669-2
StatusPublished - 2010

Publicatie series

NaamTrends in Logic

Bibliografische nota

H. Wansing


Duik in de onderzoeksthema's van 'Gentzen Calculi for Modal Propositional Logic'. Samen vormen ze een unieke vingerafdruk.

Citeer dit