Shopping Cart

Free Shipping on Orders over $35!

Gentzen Calculi for Modal Propositional Logic (Trends in Logic)

Regular price $215.27 Sale price

Compare at $209.00

  • ISBN-13: 9789048196692
  • Publisher: Springer
  • Release Date: Dec 02, 2010
  • Edition: 2011
  • Pages: 224 pages
  • Dimensions: 0.56 x 9.21 x 6.14 inches


This book is about proof theory for (the main systems of) modal logic. It is the 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.

Customer Reviews

We Also Recommend