Pencere operatörü - Window operator

İçinde modal mantık, pencere operatörü ${displaystyle riangle}$ bir mod operatörü Takip ederek anlamsal tanım:

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

için ${displaystyle M = (W, R, f)}$ a Kripke modeli ve ${displaystyle w, uin W}$. Gayri resmi olarak diyor ki w her şeyi "görür" φ -dünya (veya her φ-dünya tarafından görülür w). Bu işleç, temel modal mantığında tanımlanamaz (yani bazı önermeye dayalı kipli olmayan bir dil ile birlikte tek bir ilkel "gereklilik" (evrensel) işleci, genellikle "${görüntü stili kare}$'ya da varoluşsal ikilisi, genellikle'${displaystyle Diamond}$'). Dikkat edin gerçek durumu ... sohbet etmek standart "gereklilik" operatörü için doğruluk koşulunun.

Bazı uygulamalarına referanslar için Referanslar bölümüne bakın.

Referanslar

• Blackburn, P; de Rijke, M; Venema, Y (2002). Modal Mantık. Cambridge University Press.