Semantical considerations on modal logic. In Acta philosophica fennica 16

Kripke, Saul

Date d'édition : 1963

A propos de cet article

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. .

N° de réf. du vendeur 51693

Détails bibliographiques

• Titre: Semantical considerations on modal logic. In Acta philosophica fennica 16
• Date de parution: 1963
• Reliure: Couverture souple
• Édition: Edition originale