Trends in Logic

Gentzen Calculi for Modal Propositional Logic

Authors: Poggiolesi, Francesca

  • First book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones
  • First book that gives a complete and accurate description of the tree-hypersequent method
  • One of the few books based mainly on logical results accompanied by philosophical discussion
see more benefits

Buy this book

eBook $159.00
price for USA (gross)
  • ISBN 978-90-481-9670-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $209.00
price for USA
  • ISBN 978-90-481-9669-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $209.00
price for USA
  • ISBN 978-94-007-3442-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
About this book

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present  the several attempts made from the 50’s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.

 

Reviews

From the reviews:

“This book is mainly devoted to an extensive presentation of the author’s original formalisation of modal logics called tree-hypersequent calculus but other approaches are also discussed at length. … This book is a valuable contribution to the subject of proof techniques for modal logics. The presentation is clear with a detailed but readable account of technical details.” (Andrzej B. Indrzejczak, Mathematical Reviews, August, 2013)

Table of contents (11 chapters)

  • What Is a Good Sequent Calculus?

    Poggiolesi, Francesca

    Pages 3-35

  • Modal Logic and Ordinary Sequent Calculi

    Poggiolesi, Francesca

    Pages 39-53

  • Purely Syntactic Methods

    Poggiolesi, Francesca

    Pages 55-74

  • Semantic Methods

    Poggiolesi, Francesca

    Pages 75-100

  • Comparing the Different Generalisations of the Sequent Calculus

    Poggiolesi, Francesca

    Pages 101-116

Buy this book

eBook $159.00
price for USA (gross)
  • ISBN 978-90-481-9670-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $209.00
price for USA
  • ISBN 978-90-481-9669-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $209.00
price for USA
  • ISBN 978-94-007-3442-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Gentzen Calculi for Modal Propositional Logic
Authors
Series Title
Trends in Logic
Series Volume
32
Copyright
2011
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media B.V.
eBook ISBN
978-90-481-9670-8
DOI
10.1007/978-90-481-9670-8
Hardcover ISBN
978-90-481-9669-2
Softcover ISBN
978-94-007-3442-5
Series ISSN
1572-6126
Edition Number
1
Number of Pages
XII, 224
Topics