Статья 529

В множество осознанных предложений попадут как раз те предложения, истинность которых может быть продемонстрирована с помощью заданного алгоритма.
Многосубъектные системы. Групповое знание. Системы, описывающие модальности третьего лица единственного числа, являются неявно двухсубъектными, предполагают явное указание на действующее, лицо, а наблюдатель лишь подразумевается. Явно указав наблюдателя, переходим к многосубъектным системам Сидоров знает, что Иванов знает, что Петров ходит по пятницам в баню.
Вернемся к семантикам типа Крипке, рассмотренным в первом разделе. Многосубъектной моделью можно считать структуру, где определяются, как прежде, а Я есть отношение эквивалентности на для любого. Каждое можно рассматривать как отношение альтернативности, ассоциированное с субъектом. Определение истинности для операторов знания будет выглядеть следующим образом.