Semantical considerations on modal logic. In Acta philosophica fennica 16
by Kripke, Saul
- Used
- Condition
- See description
- Seller
-
Novato, California, United States
Payment Methods Accepted
About This Item
Kripke, Saul (1940-2022). Semantical considerations on modal logic. In Acta philosophica fennica 16 (1963): 83-94pp. Whole number. 251 x 177 mm. Original printed wrappers, light soiling and wear, spine a bit darkened. Very good.
First Edition of Kripke's second paper on "Kripke semantics." Kripke, one of the most important philosophers of the latter half of the 20th century, is best known for creating the now-standard Kripke semantics (also known as relational semantics) for modal logic, the kind of logic used to represent statements about necessity and possibility. "Kripke semantics is a formal semantics for non-classical logic systems. It was first made for modal logics, and later adapted to intuitionist logic and other non-classical systems. The discovery of Kripke semantics was a breakthrough in the making of non-classical logics, because the model theory of such logics was absent before Kripke" (Wikipedia article on Kripke). Kripke semantics play an important role in theoretical computer science.
.Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Jeremy Norman & Co., Inc. (US)
- Bookseller's Inventory #
- 51693
- Title
- Semantical considerations on modal logic. In Acta philosophica fennica 16
- Author
- Kripke, Saul
- Book Condition
- Used
- Quantity Available
- 1
- Date Published
- 1963
- Keywords
- ; ; ; ; ;
Terms of Sale
Jeremy Norman & Co., Inc.
About the Seller
Jeremy Norman & Co., Inc.
About Jeremy Norman & Co., Inc.
Glossary
Some terminology that may be used in this description includes:
- Spine
- The outer portion of a book which covers the actual binding. The spine usually faces outward when a book is placed on a shelf....
- First Edition
- In book collecting, the first edition is the earliest published form of a book. A book may have more than one first edition in...
- Wrappers
- The paper covering on the outside of a paperback. Also see the entry for pictorial wraps, color illustrated coverings for...