个人简历：

丁一峰，男，湖南岳阳人，助理教授，主要研究领域为逻辑学，特别是模态逻辑，以及决策论和社会选择理论。在逻辑学方面，我特别关注知识与信念的逻辑、包含命题量词的模态逻辑的理论性质和哲学意义、模态逻辑中的代数方法以及从逻辑视角看概率推理。在决策论和社会选择理论方面，我目前主要关注特定社会选择方法的公理化刻画以及非标准分析视角下的概率论，但也对判断综合理论（Judgment Aggregation Theory）以及经典的决策论悖论（比如Newcomb's Paradox）有研究兴趣。

邮箱：yf.ding@pku.edu.cn

网站：voidprove.github.io （包含文章链接）

教育经历

2011-2015 哲学学士，经济学学士（双学位），北京大学

2015-2021 Ph.D. in Logic and the Methodology of Science, University of California, Berkeley

发表文章

Model Theoretical Aspects of Weakly Aggregative Modal Logic

Joint with Jixin Liu and Yanjing Wang; to appear in The Journal of Logic, Language and Information.

Hypergraphs, local reasoning, and weakly aggregative modal logic

Joint with Jixin Liu and Yanjing Wang; in LORI 2021.

Logics of imprecise comparative probability

Joint with Wesley Holliday and Thomas Icard, International Journal of Approximate Reasoning, Volume 132, May 2021, 154-180.

On the Logic of Belief and Propositional Quantifiers

Journal of Philosophical Logic (2021).

Another Problem in Possible World Semantics

Joint with Wesley Holliday; in Advances in Modal Logic 2020.

The Logic of Comparative Cardinality

Joint with Matthew Harrison-Trainer and Wesley Holliday; The Journal of Symbolic Logic, vol. 85, no. 3, 972-1005.

When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

Joint with Wesley Holliday and Cedegao Zhang; in TARK 2019.

On the Logics with Propositional Quantifiers Extending S5Pi

In Advances in Modal Logic 2018.

Epistemic Logic with Functional Dependency Operator

Studies in Logic, Vol. 9, No. 4 (2016): 55-84.