Статья 522

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