Research Catalog
Mathematics of modality
- Title
- Mathematics of modality / Robert Goldblatt.
- Author
- Goldblatt, Robert
- Publication
- Stanford, Calif. : CSLI Publications, c1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 94-777 | Offsite |
Details
- Description
- v, 273 p. : ill.; 24 cm.
- Series Statement
- CSLI lecture notes ; no. 43
- Subject
- Modality (Logic)
- Bibliography (note)
- Includes bibliographical references (p. 259-266) and index.
- Contents
- Metamathematics of modal logic -- Semantic analysis of orthologic -- Orthomodularity is not elementary -- Arithmetical necessity, provability and intuitionistic logic -- Diodorean modality in Minkowski spacetime -- Grothendieck topology as geometric modality -- The semantics of Hoare's Iteration Rule -- An abstract setting for Henkin proofs -- A framework for infinitary model logic -- The McKinsey axiom is not canonical -- Elementary logics are canonical and pseudo-equational.
- Call Number
- JSE 94-777
- ISBN
- 1881526240 (cloth)
- 1881526232 (paper)
- LCCN
- 93013522
- OCLC
- 28024401
- NYPGR28024401-B
- Author
- Goldblatt, Robert.
- Title
- Mathematics of modality / Robert Goldblatt.
- Imprint
- Stanford, Calif. : CSLI Publications, c1993.
- Series
- CSLI lecture notes ; no. 43
- Bibliography
- Includes bibliographical references (p. 259-266) and index.
- Research Call Number
- JSE 94-777