✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 372.752 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Proof Theory of Modal Logic

Proof Theory of Modal Logic

Hardcover - 9780792341208
160,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 7 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Weitere Formate

Softcover - 9789048147205
160,49 €

Autorenfreundlich Bücher kaufen?!

Weitere Formate

Softcover - 9789048147205
160,49 €

Beschreibung

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.

Details

Verlag Springer Netherland
Ersterscheinung 31. Oktober 1996
Maße 23.5 cm x 15.5 cm
Gewicht 662 Gramm
Format Hardcover
ISBN-13 9780792341208
Seiten 318

Schlagwörter

Artificial Intelligence, Künstliche Intelligenz, Logic, Mathematical Logic and Foundations, Mathematik: Logik, Mathematische Grundlagen, Philosophie: Logik

Herstellerinformationen +