模态逻辑 | 首都图书馆

高级检索

全部题名 ISBN 作者出版社

电子图书

数字资源平台 > 哲学> 哲学> 逻辑学> 模态逻辑

模态逻辑

作者：
李娜编著
出版社：
南开大学出版社

出版时间：
2015.02
ISBN：
978-7-310-04760-4
主题：
模态逻辑
丛编：
南开哲学教材系列
中图法分类号：
B815.1
【中图法分类】
B 哲学、宗教 > B81逻辑学（论理学） > B815 哲理逻辑（非经典逻辑）
【学科分类】
哲学 > 哲学 > 逻辑学

建议阅读终端：

在线试读

PDF格式

暂无推荐

简介

本书的主要内容包括：命题逻辑概述、基本模态语言、多模态语言、加标转移结构、赋值和可满足、一些对应结果、一般的汇合结果、三种语义后承、形式系统等。

目录

展开 ∨

评论(0)

评分：

1
2
3
4
5

评价：

请输入评论信息

0/255 我要评论

最新上架