@article{qian-etal-2016-modal, title = "Modal Subordination in Type Theoretic Dynamic Logic", author = "Qian, Sai and de Groote, Philippe and Amblard, Maxime", journal = "Linguistic Issues in Language Technology", volume = "14", number = "1", month = "sept", year = "2016", publisher = "CSLI Publications", url = "https://aclanthology.org/2016.lilt-14.2/" }