逻辑、信息和互动
副标题：无
分类号：B815.1
ISBN：9787030205254
微信扫一扫,移动浏览光盘
简介
“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的
中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于
信息、进程和智能互动的模态逻辑；自然语言中范畴语法和量词语义的逻
辑；逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展
现了现代逻辑作为数学，哲学、语言学、计算机科学、认知科学等学科之
间媒介和催化剂的新视角。
《逻辑、信息和互动》是关于当今模态逻辑所研究的主要问题的一个
论文集。它展示了模态逻辑的发展历程，系统地阐述了模态逻辑的数学理
论。特别是，模态逻辑在研究主体的知识和信念、信息流、计算，以及主
体在博弈或其他社会活动中的交流互动等方面的应用。本书既有关于逻辑
数学基础的探索，又有对逻辑应用领域的拓展。适合从事逻辑学研究的学
生和教师阅读，也适合从事其他逻辑相关学科专业的学生和教师参阅。
目录
丛书序
译者序
前言
第1部分 模态逻辑基本理论
1 对应理论
2 两个格式塔中的模态逻辑
3 安保、界限和广义语义学
第2部分 模态逻辑和计算
4 动态箭号逻辑笔记
5 谓词逻辑的模态基础
6 使互模拟安全的程序构造
第3部分 模态逻辑和信息
7 “人的存在并非是孤立的”：逻辑与交流
8 信念修正的动态逻辑
9 偏好升级的动态逻辑
第4部分 模态逻辑和博弈
10 动态认知逻辑中的博弈
11 作为进程模型的扩展博弈
12 逻辑博弈对博弈逻辑是完全的
13 博弈中的理性动态和认知逻辑
附录
附录一 英·汉专业术语对照表
附录二 英·汉人名对照表
致谢
译者序
前言
第1部分 模态逻辑基本理论
1 对应理论
2 两个格式塔中的模态逻辑
3 安保、界限和广义语义学
第2部分 模态逻辑和计算
4 动态箭号逻辑笔记
5 谓词逻辑的模态基础
6 使互模拟安全的程序构造
第3部分 模态逻辑和信息
7 “人的存在并非是孤立的”：逻辑与交流
8 信念修正的动态逻辑
9 偏好升级的动态逻辑
第4部分 模态逻辑和博弈
10 动态认知逻辑中的博弈
11 作为进程模型的扩展博弈
12 逻辑博弈对博弈逻辑是完全的
13 博弈中的理性动态和认知逻辑
附录
附录一 英·汉专业术语对照表
附录二 英·汉人名对照表
致谢
逻辑、信息和互动
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
