模型是研究正规命题模态系统的一个重要工具,系统的可靠性与完全性证明都离不开模型。系统MV的可靠性证明,就是证明它的定理在"所有可能世界要么自身是死点,要么至少可及一个死点的所有模型中"都有效。关于MV的完全性证明,借助了典范模型的方法,典范模型是证明系统完全性的一个十分有效的手段。任何正规系统相对于它的典范模型都是完全的,在MV的典范模型中的所有可能世界要么自身是一个死点,要么至少可及一个死点,由此可得MV相对于所有可能世界要么自身是一个死点,要么至少可及一个死点的模型类是完全的。
科研之友
微信
新浪微博
Facebook
分享链接
