收藏 纠错 引文

模态逻辑

ISBN:7-5004-1888-4

出版日期:1996-01

页数:236

字数:180.0千字

丛书名:《现代逻辑丛书》

点击量:9148次

定价:11.00元

中图法分类:
出版单位:
关键词:
专题:
基金信息: 此项研究成果受国家社会科学基金资助 展开

图书简介

本书在介绍模态逻辑的学科性质和所需一些预备知识的基础上,详细讲述了模态命题逻辑和模态谓词逻辑。特别是在模态命题逻辑部分中,除介绍了几个经典系统之外,还介绍了可能世界语义学的基本内容及其一些应用,介绍了可能世界语义学下的典范模型及方法,以及由此证明一些模态系统的完全性。

展开

作者简介

展开

图书目录

本书视频 参考文献 本书图表

相关词

请支付
×
提示:您即将购买的内容资源仅支持在线阅读,不支持下载!
您所在的机构:暂无该资源访问权限! 请联系服务电话:010-84083679 开通权限,或者直接付费购买。

当前账户可用余额

余额不足,请先充值或选择其他支付方式

请选择感兴趣的分类
选好了,开始浏览
×
推荐购买
×
手机注册 邮箱注册

已有账号,返回登录

×
账号登录 一键登录

没有账号,快速注册

×
手机找回 邮箱找回

返回登录

引文

×
GB/T 7714-2015 格式引文
周北海.模态逻辑[M].北京:中国社会科学出版社,1996
复制
MLA 格式引文
周北海.模态逻辑.北京,中国社会科学出版社:1996E-book.
复制
APA 格式引文
周北海(1996).模态逻辑.北京:中国社会科学出版社
复制
×
错误反馈