Qian, Sai, Philippe de Groote, and Maxime Amblard. “Modal Subordination in Type Theoretic Dynamic Logic”. Linguistic Issues in Language Technology 14 (August 1, 2016). Accessed May 1, 2024. https://journals.colorado.edu/index.php/lilt/article/view/1395.