Оператор окна - Window operator

В модальная логика, то оконный оператор ${displaystyle riangle}$ это модальный оператор со следующими семантический определение:

${displaystyle M, wmodels riangle phi iff forall u, M, umodels phi Rightarrow Rwu}$

за ${displaystyle M = (W, R, f)}$ а Модель Крипке и ${displaystyle w, uin W}$. Неофициально в нем говорится, что ш "видит" каждый φ -мир (или каждый φ-мир видит ш). Этот оператор не может быть определен в базовой модальной логике (то есть в некотором пропозициональном немодальном языке вместе с одним примитивным оператором «необходимости» (универсальным), часто обозначаемым как '${displaystyle square}$'или его экзистенциальный двойственный, часто обозначаемый'${displaystyle Diamond}$'). Обратите внимание, что это условие истины это разговаривать условия истинности для стандартного оператора «необходимости».

Ссылки на некоторые из его приложений см. В разделе «Ссылки».

Рекомендации

• Блэкберн, П; де Рийке, М; Венема, Y (2002). Модальная логика. Издательство Кембриджского университета.