Follow
Yifeng Ding
Yifeng Ding
Assistant Professor, Peking University
No verified email - Homepage
Title
Cited by
Cited by
Year
The Logic of Comparative Cardinality
Y Ding, M Harrison-Trainor, WH Holliday
The Journal of Symbolic Logic 85 (3), 972–1005, 2020
152020
On the Logic of Belief and Propositional Quantification
Y Ding
Journal of Philosophical Logic, 2021
112021
Logics of imprecise comparative probability
Y Ding, WH Holliday, TF Icard III
International Journal of Approximate Reasoning 132, 154-180, 2021
92021
On the Logics with Propositional Quantifiers Extending S5Π
Y Ding
Advances in Modal Logic 12, 219-235, 2018
92018
Another problem in possible world semantics
Y Ding, WH Holliday
72020
Epistemic logic with functional dependency operator
Y Ding
Studies in Logic 9 (4), 55-84, 2016
62016
Weakly aggregative modal logic: Characterization and interpolation
J Liu, Y Wang, Y Ding
International Workshop on Logic, Rationality and Interaction, 153-167, 2019
42019
Hypergraphs, local reasoning, and weakly aggregative modal logic
Y Ding, J Liu, Y Wang
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021
32021
Axiomatization and complexity of modal logic with knowing-what operator on model class K
Y Ding
arXiv preprint arXiv:1609.07684, 2016
32016
Model theoretical aspects of weakly aggregative modal logic
J Liu, Y Ding, Y Wang
Journal of Logic, Language and Information 31 (2), 261-286, 2022
22022
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?
Y Ding, WH Holliday, C Zhang
arXiv preprint arXiv:1907.09101, 2019
22019
Propositional Quantification and Comparison in Modal Logic
Y Ding
University of California, Berkeley, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–12