条件文解析のための一階述語条件論理と近傍層意味論

抄録

条件論理は様相論理の一種であり、暗黙の前提を扱うことができるため、自然言語における条件文に対応できると考えられる。本研究では一階述語条件論理の各体系に与えられたクリプキ意味論（[Priest2008]）を一階述語様相論理の意味論の一種、近傍層意味論（NSS）に拡張する。NSSを用いることにより、貫世界同一性を初めとする条件論理の諸概念をより自然に捉える意味論の構築を目指す。