Model Kripkego

Model Kripkego – nazywany również modelem relacyjnym struktura matematyczna używana w logikach modalnych i intuicjonistycznym rachunku zdań. Definiuje się go jako trójkę $M = \langle U, R, V\rangle$, gdzie $U\,$ to zbiór niepusty, $R\,$ - relacja na tym zbiorze (podzbiór właściwy iloczynu kartezjańskiego $U\times U\,$), a $V\,$ - funkcją przyporządkowującą kolejnym zmiennym zdaniowym podzbiory zbioru $U\,$.

Nazwa pochodzi od nazwiska pioniera badań nad semantyką relacyjną Saula Aarona Kripkego.

Zobacz też

• Semantyka Kripkowska logik modalnych
• Semantyka Kripkowska dla intucjonizmu