Cantitate/Preț
Produs

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic: Synthese Library, cartea 229

Editat de Maarten de Rijke
en Limba Engleză Paperback – 15 dec 2010
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 91343 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 15 dec 2010 91343 lei  6-8 săpt.
Hardback (1) 92009 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 30 iun 1993 92009 lei  6-8 săpt.

Din seria Synthese Library

Preț: 91343 lei

Preț vechi: 111393 lei
-18% Nou

Puncte Express: 1370

Preț estimativ în valută:
17482 18443$ 14569£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789048142866
ISBN-10: 9048142865
Pagini: 404
Ilustrații: IX, 388 p. 3 illus.
Dimensiuni: 152 x 229 x 21 mm
Greutate: 0.56 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

Beyond Accessibility: Functional Models for Modal Logic.- Modal Logic and Attribute Value Structures.- Interpreting Modal Natural Deduction in Type Theory.- Modal Translations in K and D.- Logical Omniscience and Inconsistent Belief.- Cautious Backtracking in Truth Maintenance Systems.- How Completeness and Correspondence Theory Got Married.- Dyadic Modalities and Lambek Calculus.- A Logic with Progressive Tenses.- The Complexity of Propositional Tense Logics.- On Total Awareness Logics.- Completeness via Completeness: Since and Until.- The Feasibility of Defeat in Defeasible Reasoning.