A Completeness Theorem in Modal Logic
Showing the single result
-
Browse by Category
- Browse All
- Americana
- Art and Architecture
- Autograph Letters Signed
- Biography and Autobiography
- Children's Books
- Economics and Finance
- Featured Rare Books
- Fine Bindings and Sets
- First Edition
- First Edition>Signed
- Food and Wine
- Framed Autographs and Historical Documents
- Geography
- Gifts
- Gifts - For Her
- Gifts - For Him
- Gifts - Graduation and Celebrations
- Gifts - Holidays
- History, Law, and Politics
- Literature
- Music
- New Arrivals
- Philosophy
- Photography
- Poetry
- Presidents and World Leaders
- Religion
- Science and Natural History
- Science Fiction and Mystery
- Signed
- Signed & Autographed Books
- Sports and Leisure
- Travel and Exploration
- Uncategorized
-
First edition of Volume 24 of the Journal of Symbolic Logic; Including The First Appearance of Saul A. Kripke's Landmark Essay A Completeness Theorem in Modal Logic
KRIPKE, Saul A.
The Journal of Symbolic Logic: A Completeness Theorem in Modal Logic.
New Haven, New Jersey: Association for Symbolic Logic, Inc, March 1959.
First edition of Volume 24 of The Journal of Symbolic which includes the first appearance of Kripke's landmark paper, A Completeness Theorem in Modal Logic. Presentation copy, inscribed by Saul A. Kripke on the first page of his theorem, "For Thorild Dahlquist, Saul Kripke." In this paper, Kripke both proves the formal completeness of modal logic (supplemented by first-order quantifiers and the sign of equality) and “create[s] a semantics, now called Kripke semantics” (Hurley, Logic: The Essentials, 217). “Of great importance is the paper “Semantical Analysis of Modal Logic I” where normal systems are treated. It is here that Kripke…
Price: $6,000.00 Item Number: 88076