模态逻辑典范框架几个侧面
外文标题:Some Facts About the Canonical Frames
文献类型:期刊
作者:裘江杰[1]
机构:[1]中国人民大学哲学院
年:2013
期刊名称:重庆理工大学学报(社会科学版)
卷:27
期:9
页码范围:21-26
增刊:增刊
所属部门:哲学院
语言:中文
ISSN:1674-8425
链接地址:http://d.g.wanfangdata.com.cn/Periodical_cqgxyxb-shkxb201309004.aspx
DOI:10.3969/j.issn.1674-8425(s).2013.09.004
人气指数:1
浏览次数:1
基金:国家社会科学基金项目; 中国人民大学科学研究基金项目; 中国人民大学哲学院985工程三期建设项目资助
关键词:正规模态逻辑;典范框架;有界态射像;生成子框架
摘要:对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值得研究.为此,总结了关于典范框架的几个侧面的事实.
作者其他论文
Fine 有穷公理化定理的一个注记.裘江杰.哲学门.2014,335-344.
有穷关系模型上的模态可定义.裘江杰.湖南科技大学学报(社会科学版).2013,16(3),31-33.
(KAltn)的另一族正规扩张.裘江杰.逻辑学研究.2013,6(2),16-25.
Bull定理一个证明的注记.裘江杰.逻辑学研究.2011,04(4),15-23.
模态逻辑典范框架几个侧面.裘江杰.2013年全国应用逻辑学术年会论文集中国逻辑学会.2013,21-26.