Audrey Yap

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Epistemic Logic

Logical Framework

Inference Rules

Top Venues

Publications

Bryan Renne, Joshua Sack, Audrey Yap
Logics of temporal-epistemic actions. Synth. 193 (3) (2016)
Bryan Renne, Joshua Sack, Audrey Yap
Logics of Temporal-Epistemic Actions. CoRR (2014)
Audrey Yap
Idealization, epistemic logic, and epistemology. Synth. 191 (14) (2014)
Audrey Yap
Logical structuralism and Benacerraf's problem. Synth. 171 (1) (2009)
Tomohiro Hoshi, Audrey Yap
Dynamic epistemic logic with branching temporal structures. Synth. 169 (2) (2009)
Bryan Renne, Joshua Sack, Audrey Yap
Dynamic Epistemic Temporal Logic. LORI (2009)