|
|
|
Item Details
Title:
|
PROOF THEORY OF MODAL LOGIC
|
By: |
Heinrich Wansing (Editor) |
Format: |
Hardback |
List price:
|
£149.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
0792341201 |
ISBN 13: |
9780792341208 |
Publisher: |
KLUWER ACADEMIC PUBLISHERS |
Series: |
Applied Logic Series v. 2 |
Pages: |
318 |
Description: |
Focuses on study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations, and more. This work contains technical results and presentations of novel proof procedures. It is useful 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. 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. |
Illustrations: |
biography |
Publication: |
US |
Imprint: |
Kluwer Academic Publishers |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|