Статья 525

Другие связки определяются обычным образом.

следующими

следующими


Итерированные модальности не рассматриваются.
Пусть немодальные пропозициональные формулы эпистемического множества - произвольный элемент. Система определяется следующими схемами и правилами.
Построим семантику возможных миров. Есть модель для, если и только если есть непустое базисное множество возможных миров, непустое вспомогательное множество возможных миров, семейство функций следующего типа для каждого есть функция из, есть функция приписывания оценок. Для каждой пропозициональной переменной, где, и есть множество миров, где истинно, множество миров, где ложно.
Имеет место следующий принцип непротиворечия.
Расширим оценку до сложных формул языка.
Определим понятия истинности и ложности формул в данном мире из при данном приписывании. Для произвольной пропозициональной немодальной формулы а и любого и имеет место,
если и только если и
если и только если и.