• 
  逻辑信息和互动
  ￥61.62元
• 
  逻辑语言和认知
  ￥61.62元
• 
  模态对应理论
  ￥44.24元

　　“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑；自然语言中范畴语法与量词语义的逻辑；逻辑与认识论，科学方法论和博弈论之间的相互影响，等等。丛书表现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。
　　《逻辑、信息和互动》是关于当今模态逻辑所研究的主要问题的一个论文集。它展示了模态逻辑的发展历程，系统地阐述了模态逻辑的数学理论。特别是，模态逻辑在研究主体的知识和信念、信息流、计算，以及主体在博弈或其他社会活动中的交流互动等方面的应用。本书既有关于逻辑数学基础的探索，又有对逻辑应用领域的拓展，适合从事逻辑学研究的学生和教师阅读，也适合从事其他逻辑相关学科专业的学生和教师参阅。

样章试读

• 暂时还没有任何用户评论

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

• 暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

用户名：	匿名用户
E-mail：
咨询内容：

• 丛书序
  译者序
  前言
  第1部分　模态逻辑基本理论
  1　对应理论
  2　两个格式塔中的模态逻辑
  3　安保、界限和广义语义学
  第2部分　模态逻辑和计算
  4　动态箭号逻辑笔记
  5　谓词逻辑的模态基础
  6　使互模拟安全的程序构造
  第3部分　模态逻辑和信息
  7　“人的存在并非是孤立的”：逻辑与交流
  8　信念修正的动态逻辑
  9　偏好升级的动态逻辑
  第4部分　模态逻辑和博弈
  10　动态认知逻辑中的博弈
  11　作为进程模型的扩展博弈
  12　逻辑博弈对博弈逻辑是完全的
  13　博弈中的理性动态和认知逻辑
  附　　录
  附录一　英-汉专业术语对照表
  附录二　英-汉人名对照表
  致　谢