Proof Theory of Modal Logic
Author:   Heinrich Wansing
Publisher:   Kluwer Academic Publishers
Edition:   1996 ed.
Volume:   2
ISBN:  

9780792341208


Pages:   318
Publication Date:   31 October 1996
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $551.76 Quantity:  
Add to Cart

Share |

Proof Theory of Modal Logic


Overview

Consisting of 15 research papers, this text deals with formal, mechanizable reasoning in modal logics. It brings together various directions in the development of generalized sequent-style proof systems. The first part contains papers which give a description of powerful proof-theoretic methods as applied to the normal modal logic S4. Part II is concerned with a number of generalizations of the standard proof-theoretic formats, while the third part presents new and important results on semantics-based proof systems for modal logic.

Full Product Details

Author:   Heinrich Wansing
Publisher:   Kluwer Academic Publishers
Imprint:   Kluwer Academic Publishers
Edition:   1996 ed.
Volume:   2
Dimensions:   Width: 15.50cm , Height: 1.90cm , Length: 23.50cm
Weight:   1.430kg
ISBN:  

9780792341208


ISBN 10:   0792341201
Pages:   318
Publication Date:   31 October 1996
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now