Proof theory of modal logicH. Wansing

Proof theory of modal logic

Name: Proof theory of modal logic
ISBN: 9789401727983

H. Wansing · 1996

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

About the 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.

Book details

Year: 1996
Language: English
Series: Applied logic series -- 2
Publisher: Springer
Editions: 1
Pages: 317
ISBN: 9789401727983

Data source: Wikidata

More by H. Wansing

Proof Theory of Modal Logic (Applied Logic Series)H. Wansing

Proof Theory of Modal Logic (Applied Logic Series)