Модальная логика: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Когда/где/кто-ТО в отношении прошлого. Когда/где/кто-НИБУДЬ в отношении будущего. |
||
Строка 1:
{{нет сносок}}
'''Модальная логика''' (от {{lang-la|modus}} — способ, мера) — [[логика]], в которой кроме стандартных логических связок, переменных и/или [[предикат]]ов есть '''модальности''' (модальные операторы). Модальности бывают разные; наиболее распространены временны́е («когда-
Обычно для обозначения модального оператора используется <math>\Box</math> и двойственный к нему <math>\diamondsuit</math>:
|