首页    委员会    征稿启事    注册参会    特邀报告    录用论文    会议程序    本地信息    会场与交通    承办单位    精彩瞬间    历届会议    联系我们

未发表论文类（以投稿先后为序）：

• 何键枫. 群体宣告：受限能力与群体知识
• 杜珊珊. Rewritability in Modal Logics over Tree Models
• 张力锋. 逻辑宿命论辩谬
• 董惠敏、Norbert Gratzl. Free Choice Permission within Open Reading: A Perspective in Substructural Logics
• 徐康、廖备水. 关于强制外延的抽象论辩系统修正规则
• 赵梦媛. Anaphoric Analysis of Presupposition Projection
• 贾青. 刻画不同应当算子的STIT逻辑
• 梁飞、林哲. The Decidability of Lambek Calculus with Minimal and de Morgan Negations
• 余喆、徐康、廖备水. Structured Argumentation-Restricted Rebut vs Unrestricted Rebut
• 范杰. Neighborhood Contingency Logic: A New Perspective
• 程勇. First incompleteness theorem in the context of R*
• 俞珺华. A Cut-free Sequent Calculus for Instantial Neighborhood Logic
• Federico Bobbio、崔建英. A plausibility model for regret games
• 伍岳轩. 真之修正理论前沿探析——STEP条件句
• 周北海、王强、郑植. 亚里士多德划分格与亚里士多德逻辑
• 许涤非. On What There Is
• 郑伟平. 罗素的非受限变元理论
• 劉吉宴. 合理性推論的兩個準則
• 刘壮虎. 类概念、个体概念和性质概念
• 应腾. 可废止逻辑结构化论辩系统的研究

已发表论文类（以投稿先后为序）：

• 陈伟伟、Ulle Endriss. Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks
  • 发表于：Proceedings of the 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017)
• 张立英. A Generic Interpretation for Induction Reasoning
  • 发表于：《哲学分析》第8卷第2期，第142-149页，2017
• 唐芳芳. Generalized Sheffer-stroke Based Analytic Modal Axiomatic System for GL
  • 发表于：《逻辑学研究》第9卷第2期，第1-13页，2016
• 张建军. 蕴涵层级论：“实质蕴涵怪论”迷雾之廓清
  • 发表于：《学术月刊》2016 年第12 期，第31-44页；转载于人大复印资料《逻辑》2017 年第2 期

学生论文类（以投稿先后为序）：

• 李帝霖. Can silence be a proper response to the liar paradox?
• 闫佳亮. 可判定的一阶片段Lithium逻辑研究
• 周海燕. 对个人叙事转变现象的分析与逻辑构造