Exercice corrigé Les Modèles de Kripke pdf

Les Modèles de Kripke

6 déc. 2004 ... Exercice. Soit le modèle de Kripke A : u1 eeeeeeee u2. }}}}}}}} u0 où u0 p et u1 q. 1. Donnez les valeurs de IA pour p et q. 2. Annotez les mondes qui forcent p ?q, p ?q, p ? q ...