Cover of Proof theory of modal logic
View on Open Library ↗

Proof theory of modal logic

by

1.3 hrs read
Rate this book:
317 pages 1996

About This Book

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Write a Review

Sign in to write a review.

More by H. Wansing

Displaying modal logic
Displaying modal logic
1998
Essays on non-classical logic
Essays on non-classical logic
2001
Knowledge and belief in philos
Knowledge and belief in philosophy and artificial intelligence
1995
Nonclassical logics and information processing
Nonclassical logics and information processing
1992
Proof Theory of Modal Logic (Applied Logic Series)
Proof Theory of Modal Logic (Applied Logic Series)
1899
Referenz und Realit©Þt
Referenz und Realit©Þt
2007

View all books by H. Wansing →