@article{oai:repository.ninjal.ac.jp:00003074,
 author = {Kubota, Yusuke and Levine, Robert},
 journal = {Logic, Language, Information, and Computation. WoLLIC 2019},
 month = {Jun},
 note = {National Institute for Japanese Language and Linguistics, Ohio State University, This paper proposes an analysis of modal auxiliaries in English in Type-Logical Grammar. The proposed analysis captures the scopal interactions between different types of modal auxiliaries and negation by incorporating the key analytic idea of Iatridou and Zeijlstra [6], who classify English modal auxiliaries into PPI and NPI types. In order to technically implement this analysis, we build on Kubota and Levine’s [8, 10] treatment of modal auxiliaries as higher-order operators that take scope at the clausal level. The proposed extension of the Kubota/Levine analysis is shown to have several interesting consequences, including a formal derivability relation from the higher-order entry for auxiliaries to a lower-order VP/VP entry traditionally recognized in categorial grammar (CG) research. The systematic analysis of the scopal properties of auxiliaries and the somewhat more abstract meta-comparison between ‘transformational’ and ‘non-transformational’ analytic ideas that become possible in a type-logical setup highlight the value of taking a logical perspective on the syntax of natural language embodied in Type-Logical Grammar research.},
 pages = {415--432},
 title = {Modal auxiliaries and negation : A type-logical account},
 year = {2019}
}