具体描述
本书是一部以广义模态逻辑为研究对象的理论专著，内容涉及真理模态逻辑、认知逻辑、规范逻辑及其应用、时间逻辑、命令逻辑、模态逻辑与自然语言、模糊逻辑与理学、工学等，适合广义模态逻辑理论研究者。
作者简介
目录信息
绪论
0.1 什么是广义模态逻辑
0.2 古典命题逻辑系统P
0.3 古典谓词逻辑系统Q
0.4 集合论的初步知识
0.5 符号与解释
第1章 真理模态逻辑
1.1 模态逻辑概述
1.2 模态命题逻辑
1.3 可能世界语义学
1.4 模态代数语义学
1.5 模态谓词逻辑
附录
第2章 认知逻辑
2.1 认知逻辑概述
2.1 知道逻辑系统
2.3 相信逻辑系统
2.4 断定逻辑系统
2.5 问题逻辑系统
附录
第3章 规范逻辑及其应用
3.1 规范逻辑概述
3.2 规范逻辑系统
3.3 规范逻辑的应用
附录
第4章 时间逻辑
4.1 时间逻辑概述
4.2 基础时间逻辑
4.3 极小时间逻辑
4.4 极小时间逻辑的扩张
附录
第5章 命令逻辑
5.1 命令逻辑概述
5.2 命令逻辑系统
5.3 命令逻辑的语义解释
5.4 命令逻辑系统Imp的有效性、完全性
附录
第6章 模态逻辑与自然语言
第7章 模态逻辑与计算机科学
第8章 模糊逻辑与理学、工学
第9章 模态逻辑与教育科学
第10章 新型计算语言
附录
· · · · · · (收起)
读后感
评分
评分
评分
评分
用户评价
緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯系統P 0.3 古典謂詞邏輯系統Q 0.4 集合論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯系統 2.3 相信邏輯系統 2.4 斷定邏輯系統 2.5 問題邏輯系統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯系統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
评分緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯系統P 0.3 古典謂詞邏輯系統Q 0.4 集合論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯系統 2.3 相信邏輯系統 2.4 斷定邏輯系統 2.5 問題邏輯系統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯系統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
评分緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯系統P 0.3 古典謂詞邏輯系統Q 0.4 集合論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯系統 2.3 相信邏輯系統 2.4 斷定邏輯系統 2.5 問題邏輯系統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯系統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
评分緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯系統P 0.3 古典謂詞邏輯系統Q 0.4 集合論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯系統 2.3 相信邏輯系統 2.4 斷定邏輯系統 2.5 問題邏輯系統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯系統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
评分緒論 0.1 什麽是廣義模態邏輯 0.2 古典命題邏輯系統P 0.3 古典謂詞邏輯系統Q 0.4 集合論的初步知識 0.5 符號與解釋 第1章 真理模態邏輯 1.1 模態邏輯概述 1.2 模態命題邏輯 1.3 可能世界語義學 1.4 模態代數語義學 1.5 模態謂詞邏輯 附錄 第2章 認知邏輯 2.1 認知邏輯概述 2.1 知道邏輯系統 2.3 相信邏輯系統 2.4 斷定邏輯系統 2.5 問題邏輯系統 附錄 第3章 規範邏輯及其應用 3.1 規範邏輯概述 3.2 規範邏輯系統 3.3 規範邏輯的應用 附錄 第4章 時間邏輯 4.1 時間邏輯概述 4.2 基礎時間邏輯 4.3 極小時間邏輯 4.4 極小時間邏輯的擴張 附錄 第5章
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有