Login

Poggiolesi, Francesca

Gentzen Calculi for Modal Propositional Logic

Poggiolesi, Francesca - Gentzen Calculi for Modal Propositional Logic, ebook

124,00€

Ebook, PDF with Adobe DRM
ISBN: 9789048196708
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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)

Author(s)
Publisher
Springer
Publication year
2011
Language
en
Edition
1
Series
Trends in Logic
Category
Philosophy
Format
Ebook
eISBN (PDF)
9789048196708

Similar titles