“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

上海交通大学：《逻辑学导论》课程教学资源（作业习题）逻辑学课堂练习题（参考答案）

淮南师范学院：《逻辑学》课程教学资源（试卷习题）逻辑学模拟试卷五（含答案）

淮南师范学院：《逻辑学》课程教学资源（试卷习题）逻辑学模拟试卷七（含答案）

上海交通大学：《逻辑学导论》课程教学资源（作业习题）逻辑学课堂练习题（练习题）

淮南师范学院：《逻辑学》课程教学资源（试卷习题）逻辑学模拟试题二（含答案）

淮南师范学院：《逻辑学》课程教学资源（试卷习题）逻辑学模拟试题三（含答案）

淮南师范学院：《逻辑学》课程教学资源（试卷习题）逻辑学模拟试题一（含答案）

淮南师范学院：《逻辑学》课程教学资源（试卷习题）逻辑学模拟试卷四（含答案）

淮南师范学院：《逻辑学》课程教学资源（试卷习题）逻辑学模拟试卷六（含答案）