Lishinsky, SaulBiblio.com
Kripke, SaulBiblio.com
Semantical considerations on modal logic. In Acta philosophica fennica 16
1963ref. 516931963. 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. . unknown
Jeremy Norman & Co., Inc. · Estados UnidosUS$ 300,00≈ € 268,02
