Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie.
W „zwyczajnej” logice operatory to: przeczenie alternatywa koniunkcja
W logikach modalnych wprowadza się nowe operatory, takie jak np.: – jest konieczne, że – jest możliwe, że – kiedyś nastąpi – zawsze będzie zachodziło – będzie zachodziło tak długo, aż nie zajdzie przy czym na pewno kiedyś zajdzie
Zobacz też logika modalna, logika temporalna
Kategoria:Logika matematyczna