Logique propositionnelle modale

Logique propositionnelle modale ... Un modèle, M, de logique modale est composé d'un ... Donc VM,w1 (dp ? Op) = 0. 10. Page 11. B Exercices corrigés. Exercice 2.