4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 1 cited
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?
Yifeng Ding, Wesley H. Holliday, Cedegao Zhang
The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms"…
cs.AI2017★ 4 cited
Epistemic Logic with Functional Dependency Operator
Yifeng Ding
Epistemic logic with non-standard knowledge operators, especially the "knowing-value" operator, has recently gathered much attention. With the "knowing-value" operator, we can expr…