Cloth $65.00 ISBN: 9781881526247 Published January 1994
Paper $30.00 ISBN: 9781881526230 Published January 1994

Mathematics of Modality

Robert Goldblatt

Mathematics of Modality
Bookmark and Share

Robert Goldblatt

Distributed for Center for the Study of Language and Information

274 pages | 6 x 9 | © 1993
Cloth $65.00 ISBN: 9781881526247 Published January 1994
Paper $30.00 ISBN: 9781881526230 Published January 1994
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.
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
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here

Chicago Manual of Style |

RSS Feed

RSS feed of the latest books from Center for the Study of Language and Information. RSS Feed