Applied Logic: How, What and Why

1. Front Matter

   Pages i-viii

   PDF

2. Pragmatic Reasoning

   • John Bell

   Pages 1-27

3. Verb-Phrase Ellipsis in Dynamic Semantics

   • Jan van Eijck, Nissim Francez

   Pages 29-59

4. Optimization of deduction for Multi-Modal Logics

   • Olivier Gasquet

   Pages 61-77

5. Are Types Needed for Natural Language?

   • Fairouz Kamareddine

   Pages 79-120

6. Indexical Dynamics

   • Ian Lewin

   Pages 121-151

7. Implicit and Explicit Definability in Modal and Temporal Logics

   • Larisa Maksimova

   Pages 153-159

8. Evolving Algebras and Mathematical Models of Language

   • Lawrence S. Moss, David E. Johnson

   Pages 161-194

9. Information States in Situation Theory

   • László Polós, Michael Masuch

   Pages 195-236

10. Logic Finite Automata

    • Klaus U. Schulz, Dov M. Gabbay

    Pages 237-285

11. Dynamic Aspect Trees

    • J. Seligman, A. Ter Meulen

    Pages 287-320

12. Logic as a Foundation for a Cognitive Theory of Modality Assignment

    • Keith Stenning

    Pages 321-342

13. Meeting a Modality?

    • Yde Venema

    Pages 343-361

14. Update Semantics for Propositional Texts

    • Cees Vermeulen

    Pages 363-386

15. Back Matter

    Pages 387-392

    PDF

A selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term `applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain.
The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation.
The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.

• Index
• Syntax
• Tempora
• aspect
• language
• logic
• modal logic
• natural language
• philosophy of language
• semantic
• semantics

• Center for Computer Science in Organization and Management, Amsterdam, The Netherlands

  László Pólos, Michael Masuch

Policies and ethics