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

** полагание

** незнание

 

* Временные.

** нигде

 

В [[Математическая логика|математической логике]] и [[Информатика|информатике]] наиболее распространённой является [[семантика Крипке]], также существуют [[алгебраическая семантика]], [[топологическая семантика]] и ряд других.

 

'''Модальная формула''' определяется рекурсивно как слово в алфавите состоящем из счетного множества пропозициональных переменных <math>PL</math>, классических связок <math>\to, \bot</math>, скобок <math>(, )</math> и модального оператора <math>\Box</math>. А именно, формулой является

1. <math>p</math> для любого <math>p \in PL</math>

Минимальная нормальная модальная логика обозначается <math>K</math>.

 

 

[http://www.aiml.net Advances in Modal Logic] (AiML) проводится раз в два года.

* ''Кондаков Н.И.'' [http://runivers.ru/philosophy/lib/book6198/138457/ Логический словарь-справочник. – М.: Наука, 1976. – 720 с.] на сайте [[Руниверс]]

 

http://plato.stanford.edu/entries/logic-modal/

{{Math-stub}}

 

[[Категория:Математическая логика]]

[[Категория:Логика]]

{{Link FA|hu}}

 

[[ca:Lògica modal]]

[[cs:Modální logika]]