認識論理
知識をモデル化しようとする試みの多くは可能世界モデルに基づいている。そのためには、可能世界をエージェントの持つ知識と一致するものと一致しないものに分ける必要がある。本項目では論理に基づくアプローチを論じるが、もう1つ重要な手法として事象に基づくアプローチがある。その場合、事象は可能世界の集合であり、知識は事象に対する作用素である。2つのアプローチは戦略的には密接に関連するが、以下の2点が重要な違いとなっている。
論理に基づくアプローチを支える数学的モデルはクリプキ構造だが、事象に基づくアプローチの場合はオーマン構造が関連する。
事象に基づくアプローチでは論理式は全く使われないが、論理に基づくアプローチでは様相論理の体系を使う。
一般に論理に基づくアプローチは哲学・論理学・人工知能で使われ、事象に基づくアプローチはゲーム理論や数理経済学で使われる。論理に基づくアプローチでは、以下で示すように、統語論と意味論は様相論理の言語を使って構築される。