## Abstract

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.

Original language | English |
---|---|

Publisher | Springer |

Number of pages | 256 |

ISBN (Print) | 978-90-481-9669-2 |

Publication status | Published - 2010 |

### Publication series

Name | Trends in Logic |
---|

### Bibliographical note

H. Wansing## Keywords

- modal logic, sequent calculus