Qian, S., de Groote, P. and Amblard, M. 2016. Modal Subordination in Type Theoretic Dynamic Logic. Linguistic Issues in Language Technology. 14, (Aug. 2016). DOI:https://doi.org/10.33011/lilt.v14i.1395.