成功加入购物车
李娜 著 / 南开大学出版社 / 2015-02 / 平装
售价 ¥ 19.98 9.9折
定价 ¥20.00
品相 九品
上书时间2021-04-23
南开哲学教材系列:模态逻辑
《南开哲学教材系列:模态逻辑》介绍以经典的命题逻辑为基础的模态命题逻辑。《南开哲学教材系列:模态逻辑》具有三个重要特征:简明扼要;在单模态语言的基础上,引入和使用多模态语言;介绍了一些模态逻辑中目前比较流行的概念和方法,如:加标转移结构、互模拟等。
序第一章命题逻辑概述1.1命题语言1.2二值的语义学1.3证明论1.4完全性1.5练习第二章基本模态语言2.1引言2.2基本模态语言2.3模态公式K,D和T2.4模态公式4,5和B2.5模态逻辑K,D和T2.6模态逻辑S4,S5和B2.7练习第三章多模态语言3.1多模态语言3.2一些特殊的公式3.3代入3.4子公式3.5练习第四章加标转移结构4.1加标转移结构4.2四个例子4.3模态代数4.4一些对应关系4.5菱形算子4.6练习第五章赋值和可满足5.1赋值5.2基本可满足关系5.3两个例子和两个结论5.4三种可满足关系5.5模态代数的语义5.6练习第六章一些对应结果6.1一些例子6.2一些汇合的性质及例子6.3一些非汇合的性质6.4练习第七章一般的汇合结果7.1一些约定7.2结构的性质7.3公式集7.4一般的汇合结果7.5练习第八章三种语义后承8.1三种语义后承8.2存在问题8.3练习第九章形式系统9.1形式系统9.2一些单模态系统9.3一些多模态系统9.4可靠性9.5练习第十章一般完全性结果10.1引言10.2一致集10.3极大一致集10.4.典范结构和典范赋值10.5评述10.6练习第十一章克里普克.完全性11.1克里普克.完全性11.2一些典范系统11.3汇合诱导的完全性11.4练习第十二章互模拟12.1态射12.2Z-字形态射12.3互模拟12.4最大的互模拟12.5一个匹配层12.6一类例子12.7分层的语义等价性12.8练习第十三章过滤13.1引言13.2具有典范性的基础集13.3最左侧和最右侧的过滤13.4夹在最左侧和最右侧中间的过滤13.5分离结构13.6练习第十四章有穷模型性质14.1有穷模型性质(fmp)的定义14.2经典系统的一个特征14.3基本时间系统具有fmp14.4练习第十五章一个非典范的形式系统15.1形式系统SLL15.2SLL的特征15.3一个过滤结构15.4完全性结果15.5练习第十六章一个不具有fmp的典范系统16.1一个标准系统16.2系统的特征性16.3典范性16.4有穷模型性16.5练匀参考答案符号索引
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30