模态逻辑

模态逻辑是哲学逻辑的重要分支，自20世纪70年代以来在深度和广度方面都得到了很大的发展。本书阐明了模态逻辑的基础，并把认知逻辑、规范逻辑、时间逻辑、命令逻辑等纳入模态逻辑的范围；论述了模态逻辑与自然语方，强调了模态逻辑在各个领域的具体应用。