Modal Subordination in Type Theoretic Dynamic Logic Sai Qian, Philippe De Groote, Maxime Amblard
Modal Subordination in Type Theoretic Dynamic Logic Sai Qian, Philippe de Groote, Maxime Amblard To cite this version: Sai Qian, Philippe de Groote, Maxime Amblard. Modal Subordination in Type Theoretic Dynamic Logic. Linguistic Issues in Language Technology, Stanford Calif.: CSLI Publications, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39. hal-01370557 HAL Id: hal-01370557 https://hal.inria.fr/hal-01370557 Submitted on 22 Sep 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. LiLT volume14,issue1 August2016 Modal Subordination in Type Theoretic Dynamic Logic Sai Qian, Institute of Energy, Jiangxi Academy of Sciences, China Philippe de Groote, INRIA Nancy Grand-Est, France Maxime Amblard, Université de Lorraine, LORIA, INRIA Nancy Grand-Est, CNRS, UMR 7503, France Abstract Classical theories of discourse semantics, such as Discourse Represen- tation Theory (DRT), Dynamic Predicate Logic (DPL), predict that an indefinite noun phrase cannot serve as antecedent for an anaphor if the noun phrase is, but the anaphor is not, in the scope of a modal expression. However, this prediction meets with counterexamples. The phenomenon modal subordination is one of them. In general, modal subordination is concerned with more than two modalities, where the modality in subsequent sentences is interpreted in a context ‘subordi- nate’ to the one created by the first modal expression.
[Show full text]