Introduction; Part I. Natural Language Semantics: 1. An account of negated sentences in the DRT framework; 2. Austinian propositions, Davidsonian events and perception complements; 3. A situation-theoretic interpretation of Bare plurals; Part II. Dynamic Semantics and Channel Theory: 4. The public and the private: two domains of analysis for semantic theory; 5. Modal subordination, focus and complement anaphora; 6. First-order theory change systems and their dynamic semantics; 7. A generalizable semantics for a default inheritance reasoner; Part III. Theoretical Linguistics: 8. An HPSG approach to definite concord and elliptical nominals; 9. On recent formal analyses of topic; Part IV. Computational Linguistics: 10. Estimating hidden Markov model topologies; 11. An evaluation of statistical scores for word association; 12. Computing incoherence of sentences from a logical representation of their semantics; 13. Lexical disambiguation with fine-grained tagsets; Part IV. Formal Language Theory: 14. Implementational aspects of a categorial grammar based on partial proof trees; 15. How to get rid of projection rules in context-free tree grammars; Part VI. Logic: 16. Some results in monadic Heyting algebras; 17. Decidability and finite model property of substructural logics; 18. A logic-based framework for action theories; 19. A modular presentation of modal logics in a logical framework; 20. On a logically but not functionally complete calculus in three-valued logic; Part VII. Theoretical Computer Science: 21. Sharing graphs, sharing morphisms, and (optimal) -graph reductions; 22. Logical full abstraction and PCF; properties of infinite reduction paths in untyped -calculus.