Эпистемическая логика

ЭПИСТЕМИЧЕСКАЯ ЛОГИКА – логика знания, традиционно понимаемая как раздел модальной логики, в которой модальный оператор □ интерпретируется содержательно как «известно, что» или «знаю, что». Первые попытки построения логики знания связаны с эпистемической интерпретацией модальной логики S5, которая получается присоединением к классической логики высказываний или предикатов «модальной приставки», состоящей из аксиомных схем □А ⊃ А, □(A ⊃ В) ⊃ (□A ⊃□B), ¬□Α ⊃□⌉□А и правила вывода: если доказуемо А, то доказуемо □A (правило Гёделя).