Logo

Mathematics of Modality by Robert Goldblatt

Small book cover: Mathematics of Modality

Mathematics of Modality
by

Publisher: CSLI Publications
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

Book cover: Coalgebras and Modal LogicCoalgebras and Modal Logic
by - ESSLLI
One of the achievements of the theory of coalgebras is to make clear that some seemingly different areas are related by duality. This text explains this duality. Recent research lead to the insight that modal logic is dual to equational logic.
(6760 views)
Book cover: Basic Concepts in Modal LogicBasic Concepts in Modal Logic
by - 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.
(8210 views)
Book cover: Algebraic Tools for Modal LogicAlgebraic Tools for Modal Logic
by - ESSLLI
Apart from giving a general introduction to the fundamental ideas and methods of applying algebra in logic, the purpose of this text is to present recent developments from algebra as well as modal logic, in an integrated format.
(6846 views)
Book cover: Introduction to Modal LogicIntroduction to Modal Logic
by - 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...
(9245 views)