虚偽の信念と根本的無知の論理

この論文では、虚偽の信念の推移的論理をどのように公理化するかという未解決の問題に取り組む。標準的な信念演算子は虚偽の信念演算子では定義できないが、ほぼ定義可能であることを示す。この「ほぼ定義可能」スキーマは、虚偽の信念の推移的論理と Euclidean 論理の核となる公理を見つける手がかりとなる。また、このスキーマと他の考慮事項に基づいて、様々な虚偽の信念の論理、特に推移的論理の完全性証明を統一的に扱うことのできる適切な正準関係を提案する。さらに、虚偽の信念演算子と根本的無知演算子が相互に定義可能であることから、根本的無知の論理にも結果を拡張する。