Audrey Yap
The history of algebra's impact on the philosophy of mathematics
2017
in: Innovations in the history of analytical philosophy, Basingstoke : Palgrave Macmillan
Logics of temporal-epistemic actions
2016
Synthese 193/3
Idealization, epistemic logic, and epistemology
2014
Synthese 191/14
Dynamic epistemic logic with branching temporal structures
2009
Synthese 169/2
Logical structuralism and Benacerraf's problem
2009
Synthese 171/1