模态逻辑是基于命题逻辑的一门逻辑学科。它早在亚里士多德时期就被广泛研究和探讨。在之后的发展过程中,美国逻辑学家刘易斯在无意间创造了现代模态逻辑。而刘易斯在继前人的基础上注入了更多的形式化的内容,如建立模态系统K、T、D、B、S4、S5。使得模态逻辑的内容更加丰富。介于模态逻辑的理论体系过于庞大,本篇论文仅仅对一些基础知识进行浅谈。
科研之友
微信
新浪微博
Facebook
分享链接
