(日)内田种臣著;何向东,瞿麦生译1991 年出版243 页ISBN:7562103275
译自:样相の论理.--1978:本书通俗、系统地介绍了真理、认识、时间、规范、命令等几种模态系统的逻辑方法和概念。
李小五编著2005 年出版238 页ISBN:7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容;模态逻辑介绍句子层次上(命题型的)模态逻辑最基本的内容。...
李娜编著2015 年出版253 页ISBN:9787310047604
模态逻辑是哲学逻辑的重要分支,自20世纪70年代以来在深度和广度方面都得到了很大的发展。本书阐明了模态逻辑的基础,并把认知逻辑、规范逻辑、时间逻辑、命令逻辑等纳入模态逻辑的范围;论述了模态逻辑与自然语...