Concepedia

Yifeng Ding

YD

Statistics

Publications

3

Citations

41

H-Index

3

Active since

2020

Affiliations

University of California, Berkeley(Current)

Yifeng Ding is an author at University of California, Berkeley specializing in formal methods, automated reasoning, and computer science.

ORCID

Top concepts

Publications per year

2020–2021

3

Publications

3

THE LOGIC OF COMPARATIVE CARDINALITY

Yifeng Ding, Matthew Harrison‐Trainor, Wesley H. Holliday · Journal of Symbolic Logic · 2020 · 17 citations

, , +11

Another Problem in Possible World Semantics

Yifeng Ding, Wesley H. Holliday · eScholarship (California Digital Library) · 2020 · 14 citations · Full text

On the Logic of Belief and Propositional Quantification

Yifeng Ding · Journal of Philosophical Logic · 2021 · 10 citations · Full text

1–3 of 3