二次元クリプケ意味論 I: プレシーブ

モーダル論理の研究は、クリプケ意味論の導入に続いて大きな発展を遂げました。しかし、プログラミング言語と型理論の最近の発展は、モーダリティを研究する第二の方法、すなわちそのカテゴリー的意味論を通じた方法をもたらしました。我々はその二つがどのように対応しているかを示します。