Section of Logic
- Yifeng DING
- Assistant Professor
- Areas of Research:Modal logic, epistemic logic, logic and probability, decision theory, and social choice theory.
Name: Yifeng DING
Title: Assistant Professor
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.
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.