This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It

7. Grammatical reasoning. 7.1. Motivations. 7.2. Modal preliminary. 7.3. Residuation and modalities. 7.4. Linguistic applications. 7.5. Back to quantification.

This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project. PRELUDE, an acronym for “Toward

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containi

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil