Статья 521

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