Diamonds and Defaults

1. Front Matter

   Pages i-ix

   PDF

2. Beyond Accessibility

   • Johan van Benthem

   Pages 1-18

3. Modal Logic and Attribute Value Structures

   • Patrick Blackburn

   Pages 19-65

4. Interpreting Modal Natural Deduction in Type Theory

   • Tijn Borghuis

   Pages 67-102

5. Modal Translations in K and D

   • Kosta Došen

   Pages 103-127

6. Logical Omniscience and Inconsistent Belief

   • Jan O. M. Jaspars

   Pages 129-146

7. Cautious Backtracking in Truth Maintenance Systems

   • Catholijn Jonker

   Pages 147-173

8. How Completeness and Correspondence Theory Got Married

   • Marcus Kracht

   Pages 175-214

9. Dyadic Modalities and Lambek Calculus

   • Dirk Roorda

   Pages 215-253

10. A Logic with Progressive Tenses

    • Valentin Shehtman

    Pages 255-285

11. The Complexity of Propositional Tense Logics

    • Edith Spaan

    Pages 287-307

12. On Total Awareness Logics

    • Elias Thijsse

    Pages 309-347

13. Completeness via Completeness

    • Yde Venema

    Pages 349-358

14. The Feasibility of Defeat in Defeasible Reasoning

    • Gerard Vreeswijk

    Pages 359-380

15. Back Matter

    Pages 381-388

    PDF

This volume contains a selection of papers presented at a Seminar on Intensional Logic held at the University of Amsterdam during the period September 1990-May 1991. Modal logic, either as a topic or as a tool, is common to most of the papers in this volume. A number of the papers are con­ cerned with what may be called well-known or traditional modal systems, but, as a quick glance through this volume will reveal, this by no means implies that they walk the beaten tracks. In­ deed, such contributions display new directions, new results, and new techniques to obtain familiar results. Other papers in this volume are representative examples of a current trend in modal logic: the study of extensions or adaptations of the standard sys­ tems that have been introduced to overcome various shortcomings of the latter, especially their limited expressive power. Finally, there is another major theme that can be discerned in the vol­ ume, a theme that may be described by the slogan 'representing changing information. ' Papers falling under this heading address long-standing issues in the area, or present a systematic approach, while a critical survey and a report contributing new techniques are also included. The bulk of the papers on pure modal logic deal with theoreti­ calor even foundational aspects of modal systems.

• computational linguistics
• logic
• mathematical logic
• modal logic

• Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands

  Maarten Rijke

Policies and ethics