广义模态逻辑及其应用

【书名】 广义模态逻辑及其应用
【作者】 何向东等
【出版社】 北京人民出版社
【关键词】 模态逻辑学科研究模态逻辑
【摘要描述】 国家社会科学基金项目广义模态逻辑与新型计算机语言研究批准号的研究成果本书介绍真理模态逻辑、时间逻辑、命令逻辑等分支,探讨了在自然语言、人工智能、法学、政治学、伦理学、教育学、知识处理、数学、量子力学、工程设计、工程控制等领域如何应用广义模态逻辑的问题。
【中国图书分类号】 H087

在线工具导航