Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Proof Theory of Modal Logic

Heinrich Wansing

4/5 ( ratings)

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.

Language: English

Pages: 318

Format: Paperback

Publisher: Springer

Release: December 09, 2010

ISBN: 9048147204

ISBN 13: 9789048147205

Proof Theory of Modal Logic

Heinrich Wansing

4/5 ( ratings)

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.

Language: English

Pages: 318

Format: Paperback

Publisher: Springer

Release: December 09, 2010

ISBN: 9048147204

ISBN 13: 9789048147205

More books from Heinrich Wansing

Advances in Modal Logic, Volume 1

Ifcolog Journal of Logics and Their Applications. Volume 3, Number 3: Connexive Logics

The Logic of Information Structures

Dag Prawitz on Proofs and Meaning (Outstanding Contributions to Logic)

Dag Prawitz on Proofs and Meaning

Negation: A Notion in Focus

Recent Trends in Philosophical Logic

Essays on Non-Classical Logic Volume 1

Recent Trends in Philosophical Logic

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in Computer Science Book 5293)

Truth and Falsehood: An Inquiry Into Generalized Logical Values

Truth and Falsehood: An Inquiry into Generalized Logical Values (Trends in Logic)

Rate this book!

Write a review?