模态逻辑典范框架几个侧面
文献类型:会议
作者:裘江杰[1]
机构:[1]中国人民大学哲学院,北京 100872
年:2013
会议名称:2013年全国应用逻辑学术年会论文集中国逻辑学会
页码范围:21-26
会议地点:北京
所属部门:哲学院
人气指数:1
浏览次数:1
语言:中文
关键词:正规模态逻辑 典范框架 有界态射像 生成子框架
摘要:对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值得研究。为此,总结了关于典范框架的几个侧面的事实。
作者其他论文
Fine 有穷公理化定理的一个注记.裘江杰.哲学门.2014,335-344.
模态逻辑典范框架几个侧面.裘江杰.重庆理工大学学报(社会科学版).2013,27(9),21-26.
有穷关系模型上的模态可定义.裘江杰.湖南科技大学学报(社会科学版).2013,16(3),31-33.
(KAltn)的另一族正规扩张.裘江杰.逻辑学研究.2013,6(2),16-25.
Bull定理一个证明的注记.裘江杰.逻辑学研究.2011,04(4),15-23.