Applied logic : how, what and why : logical approaches to natural language

Preface. Pragmatic Reasoning. A Model-Based Theory J. Bell. Verb-Phrase Ellipsis in Dynamic Semantics J. van Eijck, N. Francez. Optimization of Deduction for Multi-Modal Logics O. Gasquet. Are Types Needed for Natural Language? F. Kamareddine. Indexical Dynamics I. Lewin. Implicit and Explicit Definability in Modal and Temporal Logics L. Maksimova. Evolving Algebras and Mathematical Models of Language L.S. Moss, D.E. Johnson. Information States in Situation Theory L. Polos, M. Masuch. Logic Finite Automata K.U. Schulz, D.M. Gabbay. Dynamic Aspect Trees J. Seligman, A. ter Meulen. Logic as a Foundation for a Cognitive Theory of Modality Assignment K. Stenning. Meeting a Modality? Restricted Permutation for the Lambek Calculus Y. Venema. Update Semantics for Propositional Texts C. Vermeulen. Index.