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

New
Illustrated
1996
$223.56

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. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

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. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

$223.56

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 336
Edition: 1996
Publisher: Springer
Published: 31 Oct 1996
ISBN 10: 0792341201
ISBN 13: 9780792341208

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

New

$223.56

Synopsis

$223.56

More Information