典型文献
模态系统MV及其可靠性与完全性
文献摘要：
模型是研究正规命题模态系统的一个重要工具,系统的可靠性与完全性证明都离不开模型.系统MV的可靠性证明,就是证明它的定理在"所有可能世界要么自身是死点,要么至少可及一个死点的所有模型中"都有效.关于MV的完全性证明,借助了典范模型的方法,典范模型是证明系统完全性的一个十分有效的手段.任何正规系统相对于它的典范模型都是完全的,在MV的典范模型中的所有可能世界要么自身是一个死点,要么至少可及一个死点,由此可得MV相对于所有可能世界要么自身是一个死点,要么至少可及一个死点的模型类是完全的.
文献关键词：
MV系统;典范模型;可靠性;完全性
中图分类号：
作者姓名：
姚从军;徐佳敏
作者机构：
湘潭大学哲学系,湖南湘潭411105
文献出处：
引用格式：
[1]姚从军;徐佳敏-.模态系统MV及其可靠性与完全性)[J].晋中学院学报,2022(01):37-41
A类：
B类：
MV,完全性,正规,可能世界,要么,死点,典范模型,一个十
AB值：
0.174273
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
