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.