Kripke semantics
id:
kripke-semantics-242-6199491
title:
Kripke semantics
text:
Kripke semantics is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. It was first conceived for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The development of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke.
brand slug:
wiki
category slug:
encyclopedia
description:
Formal semantics for non-classical logic systems
original url:
https://en.wikipedia.org/wiki/Kripke_semantics
date created:
date modified:
2024-02-28T13:41:51Z
main entity:
{"identifier":"Q2462350","url":"https://www.wikidata.org/entity/Q2462350"}
image:
fields total:
13
integrity:
14