Статья 517

На этом принципе построены системы.

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

Если полностью модализирована, то из этого следует.

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