by Francesca Poggiolesi (Author)
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.
Format: Hardcover
Pages: 222
Edition: 1st Edition.
Publisher: Springer
Published: 02 Dec 2010
ISBN 10: 9048196698
ISBN 13: 9789048196692
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
