MoL-2006-05: Wang, Yanjing (2006) Indexed Semantics and Its Application in Modelling Interactive Unawareness. [Report]
DS-2010-06: Wang, Yanjing (2010) Epistemic Modelling and Protocol Dynamics. Doctoral thesis, University of Amsterdam.