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