标题 期刊作者 年号 期号
On f-generic types in Presburger Arithmetic Ningyuan Yao 2019年 第三期
Imaginability and Possibility Yingying Tang 2019年 第三期
The Completeness for the Combination of PDL and EL with Perfect Recall and No Miracles Yanjun Li 2019年 第三期
Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width Yan Zhang 2019年 第三期
信念修正视域下的悖论研究初探 袁永锋，张建军 2019年 第二期
结构平衡理论的时态模型：形式系统与程序实现 王轶，骆犀羚 2019年 第二期
哥德尔的概念实在论及其辩护策略 刘晓力 2019年 第二期
多智能体模态逻辑系统 Kn 中的知识遗忘 文习明，方良达，余泉，常亮，王驹 2019年 第二期
索姆斯问题及其解决 邢锟 2019年 第二期
自然语言交流中的论证识别方法 潘琳琦 2019年 第二期
不同层次的逻辑多元论 余俊伟 2019年 第二期
广式早茶说理的功能结构分析 麦劲恒 2019年 第二期
Logics of Non­actual Possible Worlds Jie Fan 2023年 第六期
On Types over p-­adically Closed Fields Ningyuan Yao, Zhentao Zhang 2023年 第六期
The Interaction of Everyday Discourse and Professional Discourse Xiaoqi Zhang, Jiayi Luo, Qingci Chen 2023年 第六期
A Pragmatic Account for the Categorical Exchange between Content and Context Yang Hu 2023年 第六期
A Logic for Probabilities of Successive Events Yanjun Li, Jiajie Zhao 2023年 第六期
Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations Fei Liang, Zhiguang Zhao 2023年 第六期
唯识比量与佛学论证 曾昭式 2019年 第一期
因三相辩证 郭桥 2019年 第一期
《名理探》中对逻辑作为一门科学的讨论 江璐 2019年 第一期
论集合论的模型 李娜、何建锋 2019年 第一期
因明与连珠体比较研究 王克喜 2019年 第一期
经典决策论的规范性问题及其回应 宋子明 2023年 第五期
周延理论难题及其解决方案 张燕京 李邢睿 2023年 第五期
显示 76 - 100 共 242