Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc. It is therefore of immense interest for various interrelated disciplines such as philosophy, AI, computer science, logic, cognitive science and linguistics. The book consists of 15 original research papers, divided into three parts. The first part contains papers which give a profound description of powerful proof-theoretic methods as applied to the normal modal logic S4. Part II is concerned with a number of generalizations of the standard proof-theoretic formats, while the third part presents new and important results on semantics-based proof systems for modal logic.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Proof Theory of Modal Logic (Applied Logic Series,...
Stock Image
Proof Theory of Modal Logic (Applied Logic Series) (Volume 2)
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. Volume 2. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780792341208. Seller Inventory # 5315261
Buy Used
US$ 103.74
Shipping:
US$ 33.31
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Proof Theory of Modal Logic (Applied Logic Series)
Seller: BennettBooksLtd, San Diego, NV, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0792341201
Stock Image
Proof Theory of Modal Logic (Applied Logic Series, 2)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190182224
Stock Image
Proof Theory of Modal Logic (Applied Logic Series, 2)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780792341208
Seller Image
Proof Theory of Modal Logic
Published by
Springer Netherlands Okt 1996, 1996
ISBN 10: 0792341201
ISBN 13: 9780792341208
New
Buch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 336 pp. Englisch. Seller Inventory # 9780792341208
Seller Image
Proof Theory of Modal Logic
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 5967824
Buy New
US$ 163.07
Shipping:
US$ 56.97
From Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Proof Theory of Modal Logic
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 336. Seller Inventory # 26549881
Seller Image
Proof Theory of Modal Logic
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Proof Theory of Modal Logic | Heinrich Wansing | Buch | x | Englisch | 1996 | Springer Netherland | EAN 9780792341208 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 101980212
Stock Image
Proof Theory of Modal Logic
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 336 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 8379430
Buy New
US$ 248.77
Shipping:
US$ 8.65
From United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Proof Theory of Modal Logic
Published by
Springer Netherlands, Springer Netherlands Okt 1996, 1996
ISBN 10: 0792341201
ISBN 13: 9780792341208
New
Buch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch. Seller Inventory # 9780792341208