Gentzen Calculi for Modal Propositional Logic

by Francesca Poggiolesi

Book Overview

PartI An overview of the sequent calcus.- PartII, Sequent caluli for modal logic.- Part III, Tree-hyperseqent calculi.- Reference.- Symbols and notations.- Index.

• Format: Paperback
• Language: English
• ISBN: 9400734425
• ISBN13: 9789400734425
• Release Date: January 2013
• Publisher: Springer
• Length: 224 Pages
• Weight: 0.74 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"