前提記述のための動的論理の証明論構築に向けて

抄録

本研究の目的は、｢前提｣を形式的に記述することである。Heim(1983)以来、動的論理を用いた前提の分析が主流であり、戸次(2010)では複数オブジェクトや量化を扱えるように拡張されている。しかし、戸次(2010)の証明システムは動的論理に対して間接的である。そこで本研究では、Harel(2000)等に見られる、動的命題を様相演算子とみなす考え方に基づき、直接的な証明システムの構築を試みる。