模态逻辑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.