Semantical considerations on modal logic. In Acta philosophica fennica 16
de Kripke, Saul
- Usado
- Estado
- Ver descripción
- Librería
-
Novato, California, United States
Formas de pago aceptadas
Sobre este artículo
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.
.Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- Jeremy Norman & Co., Inc. (US)
- Inventario del vendedor #
- 51693
- Título
- Semantical considerations on modal logic. In Acta philosophica fennica 16
- Autor
- Kripke, Saul
- Estado del libro
- Usado
- Cantidad disponible
- 1
- Fecha de publicación
- 1963
- Palabras clave
- ; ; ; ; ;
Términos de venta
Jeremy Norman & Co., Inc.
Sobre el vendedor
Jeremy Norman & Co., Inc.
Sobre Jeremy Norman & Co., Inc.
Glosario
Algunos términos que podrían usarse en esta descripción incluyen:
- 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...