Статья 524

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