Gentzen Calculi for Modal Propositional Logic

1. What Is a Good Sequent Calculus?
Francesca Poggiolesi

2. Modal Logic and Ordinary Sequent Calculi
Francesca Poggiolesi

3. Purely Syntactic Methods
Francesca Poggiolesi

4. Semantic Methods
Francesca Poggiolesi

5. Comparing the Different Generalisations of the Sequent Calculus
Francesca Poggiolesi

6. On the Tree-Hypersequent Calculi
Francesca Poggiolesi

7. Syntactic Cut-Admissibility and Decidability
Francesca Poggiolesi

8. Semantic Adequacy
Francesca Poggiolesi

9. A Hypersequent Calculus for the System S5
Francesca Poggiolesi

10. A Tree-Hypersequent Calculus for the Modal Logic of Provability
Francesca Poggiolesi

11. Further Results on Tree-Hypersequent Calculi
Francesca Poggiolesi

Keywords: Philosophy, Philosophy, Mathematics, general, Computer Imaging, Vision, Pattern Recognition and Graphics, Linguistics (general)