项目标书摘要：Outline of Research at the Start:本研究では、古典論理の単純化・理想化を退けた直観主義論理に基づく様相論理において、クレイグ補間定理が成立するかどうかを、これまで十分に検討されてこなかったモデル論的観点から問い直す。クレイグ補間定理の成立は、異なるエージェントの信念や異なる理論間に生じる矛盾が、共通語彙のもとでいかに記述可能かという問題に対する理論的手がかりを与える点で、学術的に重要な意義をもつ。とりわけ本研究では、(A)集団知識を扱う直観主義的認識論理、(B)数理形態学との関連をもつ双直観主義的時制論理、(C)一様補間定理、という三つの観点から、直観主義論理にもとづく様相論理における補間定理の研究にアプローチする。
