Model Kripkego

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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

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