Статья 515

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