
Audrey Yap
(2000-2009)
XDynamic epistemic logic with branching temporal structures
2009
Synthese 169/2

Logical structuralism and Benacerraf's problem
2009
Synthese 171/1

(2000-2009)
XDynamic epistemic logic with branching temporal structures
2009
Synthese 169/2
Logical structuralism and Benacerraf's problem
2009
Synthese 171/1