Name: Yifeng DING

Title: Assistant Professor

Homepage: voidprove.github.io

Education: Ph.D. in Logic and the Methodology of Science, University of California, Berkeley

Areas of Research: Modal logic, epistemic logic, logic and probability, decision theory, and social choice theory.

Bio: Yifeng Ding is an assistant professor at the Department of Philosophy at Peking University. He obtained his Ph.D. in Logic and the Methodology of Science from UC Berkeley's logic group under the supervision of Wesley Holliday in 2021. Before that, he received BA in philosophy and economics from Peking University in 2015.

He works mainly in modal logic, with serious interests also in decision theory and social choice theory. In modal logic, he has published works on logics for different kinds of knowledge, theories of non-normal modal logics, logics with propositional quantifiers, and comparative logics for probabilistic reasoning and set theory. In social choice, he is working on the axiomatization of several margin-graph-based voting methods. His work has appeared in leading journals and conference proceedings such as the Journal of Symbolic Logic, Journal of Philosophical Logic, International Journal of Approximate Reasoning, Advances in Modal Logic.

Selected Publications:

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. This paper supersedes our LORI 2019 paper.

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.

Weakly Aggregative Modal Logic: Characterization and Interpolation

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

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.