X-2014-02: Zhong, Shengyang (2014) Definability in Quantum Kripke Frames. [Report]
X-2014-01: Zhong, Shengyang (2014) Geometry in Quantum Kripke Frames. [Report]
DS-2015-03: Zhong, Shengyang (2015) Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory. Doctoral thesis, University of Amsterdam.