Викия

Математика

Модальная логика

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Поделиться

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Модальная логика — логика в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности. Модальности бывают разные; наиболее распространены временны́е («когда-то в будущем», «всегда в прошлом», «всегда» и т. д.) и пространственные («здесь», «где-то», «близко» и т. д.). Например, модальная логика способна оперировать утверждениями типа «Москва всегда была столицей России» или «Санкт-Петербург, когда-то в прошлом, был столицей России», которые невозможно или крайне сложно выразить в не модальном языке. Кроме временных и пространственных модальностей есть и другие, например «известно, что» (логика знания) или «можно доказать, что» (логика доказуемости).

Обычно для обозначения модального оператора используется \Box и двойственный к нему \diamondsuit:

\diamondsuit A = \neg \Box \neg A

Это отражает то, что сказать «Москва когда-то была столицей России» то же самое, что сказать «не верно, что Москва никогда не была столицей России».

Модальности Править

Алетические модальные понятия:

  • Логические
    • L — необходимо
    • M — возможно
    • С — случайно
  • Фактические
    •  \Box  — необходимо
    •  \Diamond  — возможно
    •  \triangle  — случайно
ar:منطق طوري

da:Modallogikfa:منطق موجهاتhe:לוגיקה מודלית io:Modala logiko is:Háttarökfræðinl:Modale logica nn:Modallogikk no:Modallogikksk:Modálna logika sv:Modallogik

Викия-сеть

Случайная вики