Определение

Формула S4 F общезначима по Крипке, если она истинна в любой интерпретации Крипке для S4.

Определение.

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

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

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

R(w₀, w₁);

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

(w₀, □ A V □()) = 0