ISBN-13: 9789048196692 / Angielski / Twarda / 2010 / 224 str.
ISBN-13: 9789048196692 / Angielski / Twarda / 2010 / 224 str.
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.