Модальная логика: различия между версиями

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