量词模态逻辑的代数语义学(Ⅳ,上)──关于含BARCAN公式的非正规模态系统情形
出处
《哲学研究》
CSSCI
北大核心
1998年第12期70-78,共9页
Philosophical Research
参考文献1
-
1高恒珊.量词模态逻辑的代数语义学(Ⅰ)——关于S5情形[J]数学学报,1987(06).
-
1高恒珊,吕健安.量词模态逻辑的代数语义学_(Ⅳ,下)──关于含Barcan公式的非正规模态系统情形[J].哲学研究,1999(3):71-78.
-
2测测你宠猫的智商[J].阅读与作文（英语高中版）,2009(3):23-23.
-
3李小五.模态系统的推理规则的强弱虚实[J].现代哲学,2004(4):128-136.
-
4魏燕侠.模态系统T的Herbrand定理[J].厦门大学学报（哲学社会科学版）,2011,61(5):128-132.
-
5张清宇.模态逻辑近况[J].哲学动态,1990(5):4-6.
-
6义成.藏传佛教就是密宗吗?——如何正确认识藏传佛教讨论之一[J].法音,1993,0(4):31-35.
-
7赵贤.多模态Sahlqvist公理模式性质研究[J].湖南科技大学学报（社会科学版）,2013,16(4):25-28.
-
8姚羽思.“山寨版”乒乓球赛[J].新语文学习（小学中年级）,2009(12):43-44.
-
9许涤非.双主体认知逻辑研究[J].自然辩证法研究,2002,18(z1):1-5. 被引量：4
-
10宋伟.对Hamilton谓词形式系统中两个公理模式的讨论[J].重庆理工大学学报（社会科学）,2010,24(4):19-21.
