本书在介绍模态逻辑的学科性质和所需一些预备知识的基础上,详细讲述了模态命题逻辑和模态谓词逻辑。特别是在模态命题逻辑部分中,除介绍了几个经典系统之外,还介绍了可能世界语义学的基本内容及其一些应用,介绍了可能世界语义学下的典范模型及方法,以及由此证明一些模态系统的完全性。
暂无简介
用户未登录无权限查看参考文献
作者:张力锋
模态与本质:一个逻辑哲学的研究进...
从模态的观点看
作者:刘邦凡
逻辑、知识与认知逻辑
作者:杨红玉
逻辑学:从形式逻辑到非形式逻辑
作者:王欢
从资本逻辑到符号逻辑
作者:(加)李晓婷 姚双...
汉语会话中的多模态、互动及话轮转...
作者:印大双
法律逻辑与侦查逻辑研究
作者:李浙生
形式逻辑·辩证逻辑·科学
余额不足,请先充值或选择其他支付方式
账户:admin,可用余额 元
没有账号,快速注册
请使用手机登录默认注册账号
已有账号,返回登录
返回登录