Exercice corrigé 3 Sémantique de Kripke - LSV pdf

3 Sémantique de Kripke - LSV

K,w ? ¬? si pour tout w ?K w, K,w ? ?. Lemme 3.1 (Monotonicité de ?). Pour toute formule ?, pour tout modèle de Kripke. K et pour tout w, w ? W,. ? si K,w ? ? et w ?K w. ? alors K,w ? ?. Démonstration. Par récurrence sur la taille de ? ( exercice). Exemple 3.2. Soit le modèle de Kripke K = ({w0,w1}, ?,?) avec w0 ? w1 ...