Статья 510

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