認識論理
Epistemic logic
「〇〇を知っている」のような様相記号を持つ
認識論理（にんしきろんり、英: Epistemic logic）は、様相論理の一種であり、知識についての推論を扱う。認識論は古代ギリシアにまで遡る哲学の主題の1つだが、認識論理は比較的最近のもので、哲学、理論計算機科学、人工知能、経済学、言語学など多数の分野に応用されている。アリストテレス以来、哲学者は様相論理を論じ、オッカムやドゥンス・スコトゥスがそれを発展させてきたが、認識論理を初めて体系的に定式化したのは C.I. Lewis であった（1912年）。その後発展していき、1963年にソール・クリプキによって今の形式が完成された。ref 『コンピュータサイエンスにおける様相論理』.iconでちょろっと触れられている
p.12とか2.3とか