返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
B815.1/1
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
模态逻辑教程
:文学锋
作者：
文学锋
出版社：
科学出版社
出版时间：
2021
ISBN：
978-7-03-068293-2
索书号：
B815.1/1
分类号：
B815.1
页数：
xiv, 383页
价格：
128.00
复本数：
在馆数：
累借天数：
累借次数：
本书以模态逻辑的基本概念、模型论、模态语言的表达力、完全性定理的证明为框架, 详细介绍了模态逻辑的基本概念和基本技术。本书分为四个部分, 第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义, 以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。相比目前其他的模态逻辑教材, 增加了直观说明的内容, 减少了部分高阶内容, 难易程度适中。
详细信息
索书号
展开
模态知识论: 可设想性理论及其应用
:冯书怡
作者：
冯书怡
出版社：
社会科学文献出版社
出版时间：
2022
ISBN：
978-7-5228-0261-9
索书号：
B815.1/2
分类号：
B815.1
页数：
180页
价格：
148.00
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
2
)
出版社
社会科学文献出版社
(
1
)
科学出版社
(
1
)
只显示前10条......
社会科学文献出版社
(
1
)
科学出版社
(
1
)
查看更多信息......
作者
冯书怡
(
1
)
文学锋
(
1
)
只显示前10条......
冯书怡
(
1
)
文学锋
(
1
)
查看更多信息......
出版年
2021
(
1
)
2022
(
1
)
只显示前10条......
2021
(
1
)
2022
(
1
)
查看更多信息......
B815.1/1
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：