Proof Theory of Modal Logic: 2 (Applied Logic Series) - Softcover

 
9789048147205: Proof Theory of Modal Logic: 2 (Applied Logic Series)
Softcover
ISBN 10: 9048147204 ISBN 13: 9789048147205
Verlag: Springer, 2010

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
9048147204
ISBN 13 
9789048147205
Einband
Tapa blanda
Anzahl der Seiten
332
Herausgeber
Wansing Heinrich
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780792341208: Proof Theory of Modal Logic: 2 (Applied Logic Series)

Vorgestellte Ausgabe

ISBN 10:  0792341201 ISBN 13:  9780792341208
Verlag: Springer, 1996
Hardcover