Diamonds and Defaults: Studies in Pure and Applied Intensional Logic
Author:   Maarten de Rijke
Publisher:   Springer
Edition:   Softcover reprint of the original 1st ed. 1993
Volume:   229
ISBN:  

9789048142866


Pages:   388
Publication Date:   15 December 2010
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $620.40 Quantity:  
Add to Cart

Share |

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic


Add your own review!

Overview

The papers collected in this volume, most of them derived from presentations at the Amsterdam Seminar on Intensional Logic, report recent work in pure and applied intensional logic, and are written by researchers from philosophical and mathematical logic, artificial intelligence and computational linguistics. Most of the contributions deal with modal or temporal logic, either as a topic or as a tool. Another major theme in the book may be described as 'representing changing information'. The papers constitute an important collection, addressing issues that have received a good deal of attention in recent years. The volume is aimed at researchers and students in logic, both pure and applied, and artificial intelligence. It is also of interest to philosophers and computational linguists.

Full Product Details

Author:   Maarten de Rijke
Publisher:   Springer
Imprint:   Springer
Edition:   Softcover reprint of the original 1st ed. 1993
Volume:   229
Dimensions:   Width: 15.20cm , Height: 2.00cm , Length: 22.90cm
Weight:   0.602kg
ISBN:  

9789048142866


ISBN 10:   9048142865
Pages:   388
Publication Date:   15 December 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now