WikiSort.ru - Не сортированное

Семантика Крипке является распространенной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Она была создана Солом Крипке в конце 1950-х — начале 1960-х годов. Это было большим достижением для развития теории моделей для неклассических логик.

Семантика для модальной логики

Рассмотрим одномодальные пропозициональные логики.

Шкалой Крипке ${\displaystyle F}$ с одним отношением называется пара ${\displaystyle (W,R)}$ , где ${\displaystyle W}$ — это произвольное множество (часто говорят множество возможных миров), а ${\displaystyle R\subset W\times W}$ — отношение на ${\displaystyle W}$ (множество стрелок или упорядоченных пар).

Моделью Крипке ${\displaystyle M}$ называется пара ${\displaystyle (F,V)}$ , где ${\displaystyle V}$ — это оценка на шкале, которая каждой переменной ставит в соответствие множество миров, в которых эта переменная считается истинной. Формально оценку представляют, как функцию из множества переменных ${\displaystyle PL}$ в множество всех подмножеств ${\displaystyle W}$ . Истинность в точке в модели Крипке обозначается с помощью знака ${\displaystyle \models }$ и определяется индукцией по длине формулы:

${\displaystyle M,x\models p}$
, если  ${\displaystyle x\in V(p)}$

${\displaystyle M,x\not \models \perp }$

${\displaystyle M,x\models A\to B}$
, если ${\displaystyle Mx\not \models A}$
 или ${\displaystyle M,x\models B}$

${\displaystyle M,x\models \Box A}$
, если ${\displaystyle \forall y:(xRy\Rightarrow M,y\models A)}$

Другие логические связки, такие как ${\displaystyle \lor }$ , ${\displaystyle \land }$ и ${\displaystyle \lnot }$ можно выразить через ${\displaystyle \to }$ и ${\displaystyle \perp }$ . Дуальный модальный оператор ${\displaystyle \Diamond }$ выражается так ${\displaystyle \Diamond A\;{\stackrel {def}{=}}\;\lnot \Box \lnot A}$ .

Аналогично можно определить семантику для многомодальных логик, для этого в шкале Крипке должно быть столько отношений, сколько есть модальностей в логике.

Это заготовка статьи по логике. Вы можете помочь проекту, дополнив её.

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 14 мая 2011 года.