第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 |