Verwandte Artikel zu Proof Theory of Modal Logic (Applied Logic Series,...

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

 
9789048147205: Proof Theory of Modal Logic (Applied Logic Series, Band 2)
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.

Verlag
Springer
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
9048147204
ISBN 13 
9789048147205
Einband
Taschenbuch
Anzahl der Seiten
332
Herausgeber
Wansing Heinrich
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland