Operator modalny

Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie.

W "zwyczajnej" logice operatory to:

• przeczenie $\neg \phi$
• alternatywa $\phi \or \psi$
• koniunkcja $\phi \and \psi$

W logikach modalnych wprowadza się nowe operatory, takie jak np.:

• $\square \phi$ – jest konieczne, że $\phi$
• $\diamonds \phi$ – jest możliwe, że $\phi$
• $F\phi$ – kiedyś nastąpi $\phi$
• $G\phi$ – zawsze będzie zachodziło $\phi$
• $\phi U \psi$ – $\phi$ będzie zachodziło tak długo, aż nie zajdzie $\psi$, przy czym $\psi$ na pewno kiedyś zajdzie

Zobacz też

• Logika modalna, logika temporalna