Skip to main content
SpringerLink
Log in

Diamonds and Defaults

Studies in Pure and Applied Intensional Logic

  • Book
  • © 1993

Overview

Editors:
  1. Maarten Rijke

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

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

    Maarten Rijke

Bibliographic Information

  • Book Title: Diamonds and Defaults

  • Book Subtitle: Studies in Pure and Applied Intensional Logic

  • Editors: Maarten Rijke

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-015-8242-1

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1993

  • Hardcover ISBN: 978-0-7923-2342-6Published: 30 June 1993

  • Softcover ISBN: 978-90-481-4286-6Published: 15 December 2010

  • eBook ISBN: 978-94-015-8242-1Published: 11 November 2013

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: IX, 388

  • Number of Illustrations: 3 b/w illustrations

  • Topics: Logic, Computational Linguistics, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation