@article{qian:hal-01370557, TITLE = {{Modal Subordination in Type Theoretic Dynamic Logic}}, AUTHOR = {Qian, Sai and de Groote, Philippe and Amblard, Maxime}, URL = {https://inria.hal.science/hal-01370557}, JOURNAL = {{Linguistic Issues in Language Technology}}, PUBLISHER = {{Stanford Calif.: CSLI Publications}}, SERIES = {Modes of Modality in NLP}, VOLUME = {14}, NUMBER = {(1)}, PAGES = {1-39}, YEAR = {2016}, PDF = {https://inria.hal.science/hal-01370557/file/66-193-1-PB.pdf}, HAL_ID = {hal-01370557}, HAL_VERSION = {v1}, }