< Terug naar vorige pagina
Publicatie
Gentzen Calculi for Modal Propositional Logic
Boek - Boek
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.
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.
Series: Trends in Logic
Aantal pagina's: 256
ISBN:978-90-481-9669-2
Jaar van publicatie:2010
Trefwoorden:modal logic, sequent calculus