简介
自上个世纪七十年代以来，模态 逻辑学与计算科学、语言学等学科相 交互，得到了越来越多的关注，对其 自身的理论研究也得到了充分的发 展，形成了以完全理论、对偶理论及 对应理论为主要模块的研究领域。典 范问题源于完全性理论，与对偶理 论、对应理论及有穷模型性等研究方 向皆有密切关联，在典范问题研究中 也发掘出了许多自然且深刻的概念与 方法。裘江杰编著的这本《模态逻辑中的典范问题研 究》分别从典范框架、微观层面上的 公式、宏观层面上的逻辑以及典范逻 辑的可典范公理化、有穷框架性及可 典范公理化的逻辑类等角度系统探讨 了模态逻辑的典范性。 本书适合现代逻辑及相关专业的 研究人员和高校师生参考阅读。
目录
第一章 绪论
第一节 预备知识
第二节 典范问题研究简述
第三节 本书的内容安排
第二章 典范框架
第一节 典范框架与逻辑
第二节 典范框架的结构
第三节 模态框架的拟模态理论
第四节 模态框架的典范度
第五节 模态框架上的拓扑结构
第三章 典范的公式
第一节 典范的模态公式
第二节 强典范公式的一个刻画
第三节 初等的公式
第四节 初等典范的公式
第五节 萨奎斯特公式与归纳公式
第六节 萨奎斯特典范定理
第四章 法因定理与法因问题
第一节 法因定理
第二节 初等完全与典范等价的逻辑
第三节 逻辑KM
第四节 一个典范但不初等的逻辑
第五章 典范逻辑的几个侧面
第一节 典范公理化
第二节 典范公理化的逻辑
第三节 具有有穷框架性的典范逻辑
第六章 代数角度看典范
第一节 代数与逻辑
第二节 对偶
第三节 法因定理的代数证明
参考文献
索引
后记
第一节 预备知识
第二节 典范问题研究简述
第三节 本书的内容安排
第二章 典范框架
第一节 典范框架与逻辑
第二节 典范框架的结构
第三节 模态框架的拟模态理论
第四节 模态框架的典范度
第五节 模态框架上的拓扑结构
第三章 典范的公式
第一节 典范的模态公式
第二节 强典范公式的一个刻画
第三节 初等的公式
第四节 初等典范的公式
第五节 萨奎斯特公式与归纳公式
第六节 萨奎斯特典范定理
第四章 法因定理与法因问题
第一节 法因定理
第二节 初等完全与典范等价的逻辑
第三节 逻辑KM
第四节 一个典范但不初等的逻辑
第五章 典范逻辑的几个侧面
第一节 典范公理化
第二节 典范公理化的逻辑
第三节 具有有穷框架性的典范逻辑
第六章 代数角度看典范
第一节 代数与逻辑
第二节 对偶
第三节 法因定理的代数证明
参考文献
索引
后记
模态逻辑中的典范问题研究
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：2410046007
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
