NCML'24 论文名单 | 第18届全国现代逻辑学术研讨会论文录用名单

发布时间:2024-09-28 14:16

作者:

来源:

浏览次数:

第18届全国现代逻辑学术研讨会共收到了58份稿件投稿,经程序委员会委员及外邀评审者双盲审稿与双盲讨论,现将录用名单公布如下(名单排名不分先后,以第一作者拼音为序)。

类型
作者
题目
常规论文
吴波成 逻辑数学化的莱布尼茨-胡塞尔道路
Guangrong Li,Xishun Zhao The Computational Complexity of Constrained Prioritized Conditional Imperative Logic
Hu Yetao 重新组合悖论研究的新视角
裘江杰, 迟嘉瑞
一个可判定的expertise逻辑
Jie Fan, Mingzheng Lu,Guanghui Liu A Logical Analysis of Pluralistic Ignorance
Jie Fan
A Logic of von Wright’s (moral) indifference
Jin Ying Wu, Liwu Rong
叙实动词的预设悬置——话语焦点变换的产物
李坤桓 分层语篇表征理论下的弱否认
Li Wenxi,Wang Zhongzhi On propositional logic semirings
Likai Liu 谓词只能作谓词
Lun Zhang
An Objection to Pluralism: Metaphysical Perspective
孙晴,郭美云 带有条件概率的认知逻辑
Rong He
Two Disjunctions in Mandarin Chinese
Rui Zhu Free Social Announcement Logic: Analyzing Epistemic Distributions, Coherences and Social Networks
Runcheng Liang Is Critical Thinking Generalizable? — Back to John Dewey
Shuquan Huo A Basic Łukasiewicz m-valued conditional logic
Xingchi Su Making it better: A Logic of Good Actions based on Dynamic Epistemic Logic
潘易欣, 郭美云 关于概率、信念与知识的两个逻辑框架
Youan Su

Intuitionistic Epistemic Logic IEL with Justifications

海报论文
Chenyang Cai,Jieting Luo Reasoning about persuasion dialogue in ATL style
Daheng Ju 一类新的反基础公理
Jiaming Zhang 实际因果多元论对一元论的挑战
Jilin Wang,Bruno Bentzen Mechanization of independence results about Frege's Begriffsschrift
Muyun Shao,Jieting Luo
Modelling Teaching and Learning via Preference Upgrade
Shuliang Dong
A First-Order Coalition Logic and Epistemic Extension
胡幸 否定命题何以成真?——基于真理符合论的探讨
Xingchi Su,Xin Sun,Xiaoning Bian,Xiang Li
Promises Don't Come Easy: A Formal Approach to Conditional Digital Signatures
周星哲 纠正一个流行的逻辑史错误:尼科本人不会认可尼科标准的非相干性条件
Yuqiao Guo
Confirmation of Laws Through Counterfactual Fine-Tuning
Zhanglyu Li, Bin Li The Measurement of Belief: Ramsey Method and its Defense from Neopragmatism