图书简介
本书在介绍模态逻辑的学科性质和所需一些预备知识的基础上,详细讲述了模态命题逻辑和模态谓词逻辑。特别是在模态命题逻辑部分中,除介绍了几个经典系统之外,还介绍了可能世界语义学的基本内容及其一些应用,介绍了可能世界语义学下的典范模型及方法,以及由此证明一些模态系统的完全性。
作者简介
图书目录
相关推荐
-
图书 模态与本质:一个逻辑哲学的研究进路
作者:张力锋
图书 模态与本质:一个逻辑哲学的研究进路
-
2
图书 从模态的观点看
作者:张力锋
图书 从模态的观点看
-
3
图书 逻辑、知识与认知逻辑
作者:刘邦凡
图书 逻辑、知识与认知逻辑
-
4
图书 汉语会话中的多模态、互动及话轮转换
作者:(加)李晓婷 姚双云 张利蕊 韩飞
图书 汉语会话中的多模态、互动及话轮转换
-
5
图书 逻辑学:从形式逻辑到非形式逻辑
作者:杨红玉
图书 逻辑学:从形式逻辑到非形式逻辑
-
6
图书 从资本逻辑到符号逻辑
作者:王欢
图书 从资本逻辑到符号逻辑
-
7
图书 形式逻辑·辩证逻辑·科学
作者:李浙生
图书 形式逻辑·辩证逻辑·科学
-
8
图书 小逻辑(一)
作者:黄昀 常培育 [德]黑格尔
图书 小逻辑(一)
-
9
图书 范畴类型逻辑:从语言到逻辑
作者:邹崇理
图书 范畴类型逻辑:从语言到逻辑
-
10
图书 人的逻辑与物的逻辑:重思辩证法和形式逻辑的关系
作者:葛宇宁
图书 人的逻辑与物的逻辑:重思辩证法和形式逻辑的关系
豆瓣评论