| 《逻辑、信息和互动》是关于当今模态逻辑所研究的主要问题的一个论文集。它展示了模态逻辑的发展历程，系统地阐述了模态逻辑的数学理论。特别是，模态逻辑在研究主体的知识和信念、信息流、计算，以及主体在博弈或其他社会活动中的交流互动等方面的应用。本书既有关于逻辑数学基础的探索，又有对逻辑应用领域的拓展。适合从事逻辑学研究的学生和教师阅读，也适合从事其他逻辑相关学科专业的学生和教师参阅。 |
| 约翰·范本特姆，当代世界著名逻辑学家。阿姆斯特丹大学的大学教授、斯坦福大学哲学教授，兼任中山大学客座教授。荷兰皇家艺术与科学院、欧洲科学院和国际哲学院院士，多个杂志编辑。撰写了约300篇论文和6部专著。主编了4部具有权威性的逻辑手册。由于他的卓越成就，荷兰政府于1996年授予他斯宾诺莎奖。 |
| 丛书序 译者序 前言 第1部分 模态逻辑基本理论 1 对应理论 2 两个格式塔中的模态逻辑 3 安保、界限和广义语义学 第2部分 模态逻辑和计算 4 动态箭号逻辑笔记 5 谓词逻辑的模态基础 6 使互模拟安全的程序构造 第3部分 模态逻辑和信息 7 “人的存在并非是孤立的”：逻辑与交流 8 信念修正的动态逻辑 9 偏好升级的动态逻辑 第4部分 模态逻辑和博弈 10 动态认知逻辑中的博弈 11 作为进程模型的扩展博弈 12 逻辑博弈对博弈逻辑是完全的 13 博弈中的理性动态和认知逻辑 附录 附录一 英·汉专业术语对照表 附录二 英·汉人名对照表 致谢 |
内容加载中，请稍后...
商品评论（0条）