Diamonds and Defaults

Studies in Pure and Applied Intensional Logic

  • Maarten de Rijke

Part of the Synthese Library book series (SYLI, volume 229)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Johan van Benthem
    Pages 1-18
  3. Patrick Blackburn
    Pages 19-65
  4. Kosta Došen
    Pages 103-127
  5. Jan O. M. Jaspars
    Pages 129-146
  6. Dirk Roorda
    Pages 215-253
  7. Valentin Shehtman
    Pages 255-285
  8. Elias Thijsse
    Pages 309-347
  9. Yde Venema
    Pages 349-358
  10. Gerard Vreeswijk
    Pages 359-380
  11. Back Matter
    Pages 381-388

About this book

Introduction

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.

Keywords

computational linguistics logic mathematical logic modal logic

Editors and affiliations

  • Maarten de Rijke
    • 1
  1. 1.Institute for Logic, Language and ComputationUniversity of AmsterdamThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-015-8242-1
  • Copyright Information Springer Science+Business Media Dordrecht 1993
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-4286-6
  • Online ISBN 978-94-015-8242-1
  • About this book