Определение

Формула КИВ F опровержима по Крипке, если она ложна в некоторой интерпретации Крипке для КИВ.

Пример. Опровержимость формулы A V .

W={w₀, w₁} – множество миров;

R(w₀, w₁);

(w₀, A) = 0, (w₁, A) = 1.

(w₀, A V ) = 0