+612 9045 4394
 
CHECKOUT
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
Ships: 7 to 10 business days
7 to 10 business days
RRP $631.99
$437.75
31%
OFF
or 4 easy payments of $109.44 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 15th December 2010
    $327.53

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.

Preface
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
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 388
Published: 30th June 1993
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 23.5 x 16.51  x 3.18
Weight (kg): 0.75