Терезе операторы - Window operator

Жылы модальді логика, терезе операторы ${displaystyle riangle}$ Бұл модальдық оператор мыналармен семантикалық анықтамасы:

${displaystyle M, wmodels riangle phi iff for all u, M, rightarrow Rwu phi umodels}$

үшін ${displaystyle M = (W, R, f)}$ а Крипке моделі және ${displaystyle w, uin W}$. Бейресми түрде бұл туралы айтады w әрқайсысын «көреді» φ -әлем (немесе әрбір φ-әлемді көреді) w). Бұл оператор негізгі модальді логикада анықталмайды (яғни кейбір пропорционалды модальды емес тіл және бірыңғай «қажеттілік» (әмбебап) операторымен бірге, көбінесе 'деп белгіленеді)${displaystyle square}$'немесе көбінесе'${displaystyle Diamond}$'). Оған назар аударыңыз шындық жағдайы болып табылады әңгімелесу стандартты «қажеттілік» операторы үшін шындық шартының.

Оның кейбір қосымшаларына сілтемелер үшін сілтемелер бөлімін қараңыз.

Әдебиеттер тізімі

• Блэкберн, П; де Райке, М; Venema, Y (2002). Модальды логика. Кембридж университетінің баспасы.