Arrow Logic and Multi-Modal Logic
Author:   Maarten Marx (Imperial College of Science, Technology and Medicine, London) ,  Laszls Pslos (Universiteit van Amsterdam) ,  Michael Masuch (Universiteit van Amsterdam)
Publisher:   Centre for the Study of Language & Information
ISBN:  

9781575860251


Pages:   261
Publication Date:   28 August 1996
Format:   Hardback
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $171.47 Quantity:  
Add to Cart

Share |

Arrow Logic and Multi-Modal Logic


Overview

Full Product Details

Author:   Maarten Marx (Imperial College of Science, Technology and Medicine, London) ,  Laszls Pslos (Universiteit van Amsterdam) ,  Michael Masuch (Universiteit van Amsterdam)
Publisher:   Centre for the Study of Language & Information
Imprint:   Centre for the Study of Language & Information
Dimensions:   Width: 15.20cm , Height: 2.00cm , Length: 22.80cm
Weight:   0.520kg
ISBN:  

9781575860251


ISBN 10:   1575860252
Pages:   261
Publication Date:   28 August 1996
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Contributors; Preface; 1. A crash course in arrow logic; 2. Investigation in arrow logic; 3. Causes and remedies for undecidability in arrow logics and in multi-modal logics; 4. Associativity does not imply undecidability without axiom of modal distribution; 5. Dynamic arrow logic; 6. Complete calculus for conjugated arrow logic; 7. Many-dimensional arrow structures; arrow logics; 8. What is modal logic?; 9. Content versus wrapping: an essay in semantic complexity; 10. A fine-structure analysis of first order logic; Index; Name index.

Reviews

' ... a comprehensive survey.' L'Enseignement Mathematique


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