Gentzen Calculi for Modal Propositional Logic (Trends in Logic)

New
Hardcover
2010
$176.40

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.

Synopsis

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.

$176.40

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 222
Edition: 1st Edition.
Publisher: Springer
Published: 02 Dec 2010
ISBN 10: 9048196698
ISBN 13: 9789048196692

Gentzen Calculi for Modal Propositional Logic (Trends in Logic)

New

$176.40

Synopsis

$176.40

More Information