中央财经大学文化与传媒学院论文

摘要：模态逻辑是基于命题逻辑的一门逻辑学科。它早在亚里士多德时期就被广泛研究和探讨。在之后的发展过程中，美国逻辑学家刘易斯在无意间创造了现代模态逻辑。而刘易斯在继前人的基础上注...