Diamonds and Defaults Studies in Pure and Applied Intensional Logic

Diamonds and Defaults Studies in Pure and Applied Intensional Logic / edited by Maarten de Rijke.

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 wi...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: de Rijke, Maarten (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 1993.
Edition:1st ed. 1993.
Series:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 229
Springer eBook Collection.
Subjects:
Logic.
Computational linguistics.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items