Статья 512

Составляют пропозициональную часть, утверждает, что знание субъекта замкнуто относительно импликации выводимости, отражает методологическое требование, предъявляемое к рациональному познанию настоящее знание в отличие от мнения должно содержать истину согласно, субъект знает лишь то, что истинно, обращают внимание на рефлексивный характер знания субъект осознает свое знание или незнание и может раскрыть основания своего знания незнания, часто называют позитивной, а негативной интроспекцией.
Условия задают систему. Имеем рефлексивность в семантике. Условия для аксиомой задают модальную систему рефлексивность и транзитивность, наконец,с добавлением экономной схемы дает систему 5 рефлексивность, симметричность и транзитивность.
Логическое всеведение и автоэпистемическая логика.
Рассмотренная выше эпистемическая интерпретация стандартных модальных систем неоднократно подвергалась критике.