Noch Fragen? 0800 / 33 82 637

Proof Theory of Modal Logic

Produktform: Buch / Einband - fest (Hardcover)

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. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-0-7923-4120-8 / 978-0792341208 / 9780792341208

Verlag: Springer Netherland

Erscheinungsdatum: 31.10.1996

Seiten: 318

Auflage: 1

Herausgegeben von Heinrich Wansing

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück