Mathematics of Modality
Author:   Robert Goldblatt
Publisher:   Centre for the Study of Language & Information
Edition:   2nd ed.
Volume:   43
ISBN:  

9781881526247


Pages:   274
Publication Date:   30 October 1993
Format:   Hardback
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Our Price $107.95 Quantity:  
Add to Cart

Share |

Mathematics of Modality


Overview

Modal logic is the study of modalities—expressions that qualify assertions about the truth of statements—like some ordinary language phrases and mathematically motivated expressions. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades. This volume collects together a number of Golblatt's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic models, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic.

Full Product Details

Author:   Robert Goldblatt
Publisher:   Centre for the Study of Language & Information
Imprint:   Centre for the Study of Language & Information
Edition:   2nd ed.
Volume:   43
Dimensions:   Width: 15.60cm , Height: 2.20cm , Length: 23.70cm
Weight:   0.638kg
ISBN:  

9781881526247


ISBN 10:   1881526240
Pages:   274
Publication Date:   30 October 1993
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Introduction; 1. Metamathematics of modal logic; 2. Semantic analysis of orthologic; 3. Orthomodularity is not elementary; 4. Arithmetical necessity, provability and intuitionistic logic; 5. Diodorean modality in Minkowski spacetime; 6. Grothendieck topology as geometric modality; 7. The semantics of Hoare's iteration rule; 8. An abstract setting for Henkin proofs; 9. A framework for infinitary modal logic; 10. The McKinsey axiom is not canonical; 11. Elementary logics are canonical and pseudo-equational; Bibliography; Index.

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