本书是一部以广义模态逻辑为研究对象的理论专著，内容涉及真理模态逻辑、认知逻辑、规范逻辑及其应用、时间逻辑、命令逻辑、模态逻辑与自然语言、模糊逻辑与理学、工学等，适合广义模态逻辑理论研究者。
模态逻辑是哲学逻辑的重要分支，自20世纪70年代以来在深度和广度方面都得到了很大的发展。本书对国内外已有的广义模态逻辑成果进行了比较全面的梳理和归纳，阐明了狭义模态逻辑的基础，并把认知逻辑、规范逻辑、时间逻辑、命令逻辑等纳入广义模态逻辑的范围：论述了模态逻辑与自然语言、计算机科学教育科学、理学和工学等学科的关系；强调了模态逻辑在各个领域的具体应用，尤其丰富和发展了“教育逻辑”的内涵。本书既有对广义模态逻辑理论的系统阐述，又有应用前景的分析和展望，内容丰富、资料翔实，具有较高的专业理论水平和学术价值，是该专业领域的重要学术参考书。
|
