**Mathematics of Modality**

by Robert Goldblatt

**Publisher**: CSLI Publications 1993**ISBN/ASIN**: 1881526240**ISBN-13**: 9781881526247**Number of pages**: 288

**Description**:

Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements. This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, 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.

Download or read it online for free here:

**Download link**

(11MB, PDF)

## Similar books

**Handbook of Modal Logic**

by

**Patrick Blackburn, Johan van Benthem, Frank Wolter**

This Handbook documents the current state of modal logic, a lively area of logical research which was born in philosophy, but which has since made its way into mathematics, linguistics, computer science, AI, and even economic game theory.

(

**6026**views)

**Modal Logic of Strict Necessity and Possibility**

by

**Evgeni Latinov**-

**OTexts**

The notions of strict, logical necessity and possibility and problems connected with them are treated in the book with the resources of modal symbolic logic. In general a balance is struck between philosophical and technical treatment of the issues.

(

**2048**views)

**Basic Concepts in Modal Logic**

by

**Edward N. Zalta**-

**Stanford University**

This is a text for dedicated undergraduates with no previous experience in modal logic. The book should prepare people for reading advanced texts in modal logic, such as Goldblatt, Chellas, Hughes and Cresswell, and van Benthem.

(

**7246**views)

**Introduction to Modal Logic**

by

**Gary Hardegree**-

**UMass Amherst**

Contents: Basic Concepts; Classical SL; Absolute Modal Logic - System L; Relative Modal Logic - System K; Systems Between K and L; Modal Predicate Logic; General First-Order Logic; First-Order Modal Logic; First-Order Modal Logic with Actuality...

(

**7980**views)