Qian, Sai, Philippe de Groote, and Maxime Amblard. 2016. “Modal Subordination in Type Theoretic Dynamic Logic”. Linguistic Issues in Language Technology 14 (August). https://doi.org/10.33011/lilt.v14i.1395.