Publications

Publications of Members of CLLC:

[美] 王浩 著，高坤 邢滔滔 译，《从数学到哲学》, 广西师范大学出版社, 2024

Yifeng Ding, Wesley Holliday, Eric Pacuit "An axiomatic characterization of Split Cycle" Social Choice and Welfare (2024)

Yipu Li, Yifeng Ding "Some General Completeness Results for Propositionally Quantified Modal Logics" AiML 2024

Yanjing Wang, Junhua Yu "Point-set Neighborhood Logic" AiML 2024

Yanjun Li, Yanjing Wang “Knowing how to plan about planning: Higher-order and meta-level epistemic planning” Artificial Intelligence (2024) 104233

Xinhe Wu, Bokai Yao "Boolean-Valued Models of Set Theory with Urelements" Notre Dame Journal of Formal Logic, 65(2): 203-227 (2024)

Bokai Yao "Axiomatization and Forcing in Set Theory with Urelements" The Journal of Symbolic Logic (2024)

Soroush Rafiee Rad, Joshua Sack, Shengyang Zhong "Enriched Quantales Arising from Complete Orthomodular Lattices" Studia Logica (2024)

Shengyang Zhong "Propositional logic and modal logic-A connection via relational semantics" Journal of Logic and Computation (2024)

Shengyang Zhong "Propositions Formalized in Chu Spaces" 《逻辑学研究》Vol. 17, No. 6 (2024): 42–58

Shengyang Zhong "Birkhoff-von Neumann Quantum Logic Enriched with Entanglement Quantifiers: Coincidence Theorem and Semantic Consequence" Acta Informatica (2024)

Shengyang Zhong "Preparation and Test in Physics" Foundations of Science (2024)

 

Publications independent by Students of CLLC:

Yuanzhe Yang: "Logics of True Belief" Notre Dame Journal of Formal Logic 65 (1): 55-80. 2024.

Yuanzhe Yang: "A First-order Modal Logic of Strict Implication on Varying-Domain Models" AiML 2024

 

Ongoing Projects

Bokai Yao: Set theory with urelements (National Nature Science Fund Youth project)

Yifeng Ding: Modal logic with propositional quantifiers and its philosophical applications (National Social Science Fund Youth project).

Shengyang Zhong: Quantum logic research based on relational semantics (National Social Science Fund Youth project). 

Yanjing Wang: Textbook project for Introduction to logic: a modern prespective

 

Awards

Zilu Wang: Song Wenjian Scholarship on Logic (2024)

Yanjing Wang: 2nd Prize of Outstanding Research Award (Humanities and Social Sciences) of Chinese Universities (2024)

Yanjing Wang is listed as one of the Most Cited Chinese Shcolars in Philosphy by Elsvier (2024)

 

People

Diego Pinheiro Fernandes is visting CLLC till July 2025, funded by the NESCO Great Wall fellowship. Diego is an Assistant Professor at the Department of Philosophy, Federal University of Paraíba

Yanjing Wang is elected Vice Chair of the Chinese Association of Logic, and Vice Chair of the Mathematical Logic Chapter of the Chinese Mathematical Society

Yanjing Wang starts to serve as an associate editor of Journal of Logic, Language, and Information

 

New Courses

“Introduction to Bundled Modalities” at ESSLLI 2024

“Research and Writing in Philosophy”

“Topics in Set Theory (Forcing)”

“Social Choice Theory”

“Axiomatic Set Theory” (Redesigned)

“Provability Logic and Relfection Algebra” Intensive course by Lev Beklemishev

 

Graduation and Admission

Graduation:

Master: Bin Liu, Guanqun Liu, Liqing Ruan, Linfeng Wang

Admission:

Master: Ning Gan, Daopu Jiang, Hongyi Wang

PhD: Bin Liu, Linfeng Wang

 

Events

Conferences and Workshops:

Organized "Chinese Annual Conference on Mathematical Logic 2024" on October 25-27th.

Organized "Many Facets of Epistemic Logic" on November 10th.

Organized the session “Logic and Philosophy” of the AI subforum of Beijing Forum on November 3rd.

 

CLLC Weekly Seminar:

Mar. 19th Weiwei Chen: An Axiomatic Approach to Collective Decision-Making through Abstract Argumentation: Static and Dynamic Perspectives

Mar. 26th Beyong-uk Yi: Classical Mereology and Plural Identity

Mar. 29th Wesley Holliday: Modal Logic, Fundamentally

Apr. 1st Fan Yang: A Complete Logic for First-order Team Properties

Apr. 9th Søren Knudstorp: Features of (Un)decidable Logics

Apr. 22nd Jason Chen: Justification by Confluence

Apr. 23rd Zhiguang Zhao & Xiaoxuan Fu: Modal Logic with Counting

Apr. 26th Valentin Goranko: Logics for Strategic Reasoning of Socially Interacting Rational Agents

May. 10th Sonja Smets: Reasoning about Epistemic Superiority and Data Exchange

May. 10th Alexandru Baltag: Data-exchange Events with Preconditions and Knowledge of Values

May. 16th Guozhen Shen: 康托定理在ZF中的推广

Sep. 24th Xinwen Liu: 金岳霖与皮尔士的Type-Token-Tone学说

Oct. 15th Bruno Bentzen: Bishop's View of Mathematical Constructions

Oct. 22nd Mikołaj Bojańczyk: Orbit-finite Sets

Oct. 29th Lev Beklemishev: Reflection Principles and Proof-theoretic Analysis

Nov. 5th Hans van Ditmarsch: "To Be Announced"

Nov. 12th Lukas Zenger: A Sound and Complete Axiomatization for Intuitionistic Linear Temporal Logic

Nov. 26th Hanyu Li: The Quotient-to-Symbol Principle of Human Reasoning

Dec. 3rd Diego Fernandes: On Lindström Theorems for Some Modal Logics

Dec. 17th Mamoru Kaneko: Epistemic Logic of Reciprocal Empathy with Cognitive Bounds

 

Talks by Members of CLLC

王彦晶：

6月12日 Epistemic Syllogistics @Southwest University

6月23日 Knowing Who in Groups @LMAS III, Zhejiang University

8月5日 Knowing how to Understand Intuitionistic Logic @WCP Rome

8月15日 Point-set Neighborhood Logic @Joint seminar of NihiL& LIRa, ILLC, UvA

9月20日 Logic and Cognition @Lusha Zhu's lab, PKU

在北大附中、北京四中、中国移动等单位做了若干逻辑学科普报告。

 

钟盛阳

9月28日，物理学中的制备与测量——一个简单的数学模型及其应用，北京大学外国哲学研究所风华系列讲座

 

丁一峰

4月29日，模态逻辑与命题量化，华东师范大学哲学系第2406期青年学术沙龙

4月27日，Possibilities and Actuality，复旦大学“逻辑与形而上学”学术研讨会

6月14日，Some technical results on modal logics with propositional quantifiers，中国科学院哲学研究所

8月19日，Some general completeness results for propositionally quantified modal logics，捷克科学院，Advances in Modal Logic 2024

9月21日，Axiomatizing Minimax，中山大学岭南文化研究院，Delta Workshop 21

11月27日，投票理论的公理化方法，中国政法大学

 

姚博凯

3月2日，Boolean-Valued Models of Set Theory with Urelements，Delta Workshop 19

4月18日，什么是无素集合论？，四川大学哲学系逻辑、认知与互动系列讲座第56讲

4月27日，抽象原则与实在的大小，复旦大学“逻辑与形而上学”学术研讨会

4月30日，什么是无素集合论？复旦大学Logic Seminar.

5月9日，抽象原则与实在的大小，武汉大学哲学学院数理逻辑论坛

11月9日，绝对普遍的集合论，北京市社科联2024学术前沿论坛逻辑学会专场