計画における様相表現とその論理構造計画様相論理の公理系と健全性

摘要

本研究では、計画案の記載には、単なる事実文だけではなく、不rn可避性、可能性を含めたさまざまな様相表現が用いられていることrnに注目し、そうした様相表現間の論理的関係を明らかにすることをrnこころみた。まず、1）計画図書での様相表現の使用実態から論理rn関係を調べ、続いて、2）計画様相を記号論理として扱う公理系をrn厳密に構成した。