+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Diamonds and Defaults : Studies in Pure and Applied Intensional Logic - Maarten de Rijke

Diamonds and Defaults

Studies in Pure and Applied Intensional Logic

By: Maarten de Rijke (Editor)

Hardcover Published: 30th June 1993
ISBN: 9780792323426
Number Of Pages: 388

Share This Book:


or 4 easy payments of $76.22 with Learn more
Ships in 15 business days

Earn 610 Qantas Points
on this Book

Other Available Editions (Hide)

  • Paperback View Product Published: 15th December 2010
    Ships in 15 business days

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.

Beyond Accessibility: Functional Models for Modal Logicp. 1
Modal Logic and Attribute Value Structuresp. 19
Interpreting Modal Natural Deduction in Type Theoryp. 67
Modal Translations in K and Dp. 103
Logical Omniscience and Inconsistent Beliefp. 129
Cautious Backtracking in Truth Maintenance Systemsp. 147
How Completeness and Correspondence Theory Got Marriedp. 175
Dyadic Modalities and Lambek Calculusp. 215
A Logic with Progressive Tensesp. 255
The Complexity of Propositional Tense Logicsp. 287
On Total Awareness Logicsp. 309
Completeness via Completeness: Since and Untilp. 349
The Feasibility of Defeat in Defeasible Reasoningp. 359
Indexp. 381
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780792323426
ISBN-10: 0792323424
Series: Synthese Library (Hardcover)
Audience: General
Format: Hardcover
Language: English
Number Of Pages: 388
Published: 30th June 1993
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 24.28 x 16.05  x 2.74
Weight (kg): 0.76

Earn 610 Qantas Points
on this Book