模态逻辑S4.2的可靠性与完全性证明
摘要
模型是证明正规命题模态系统的可靠性和完全性的一条重要途径，研究模态命题逻辑的形式系统的也离不开模型。模态逻辑 S4.2 是认知逻辑中的一个工具，是在 S4 和附加公理 G 所组合而成。我们通过证明系统 S4.2 的所有定理在自反、传递和收敛的模型上都有效， 证明了系统 S4.2 的可靠性。正因为任何正规模态系统对于它的典范模型都是完全的，所以通过典范模型来证明系统 S4.2 是完全性的。
关键词
模态逻辑；S4.2 系统；可靠性；完全性
参考
[1]周北海.模态逻辑[M].北京:中国社会科学出版社,1996. [2]张法清.关于正规模态命题逻辑系统的完全性证明[J].毕节学 院学报,2009,27(04):10-15. [3]Chalki Aggeliki,Koutras Costas D,Zikos Yorgos. A quick guided tour to the modal logic S4.2[J]. Logic Journal of the IGPL,2018,26(4). [4]Chalki Aggeliki,Koutras Costas D.,Zikos Yorgos. A note on the complexity of S4.2[J]. Journal of Applied Non-Classical Logics,2021,31(2). [5]Hughes, G.E.& Creswel, MJ.A companion to modal logic[M].Methuen & Co Ltd, 1984:1-38. [6]Hughes, G.E.& Creswel, MJ.An Introduction modal logic[M].Fletcher & Son Ltd, 1972:288-290.