Diamonds and Defaults

Studies in Pure and Applied Intensional Logic

By: Maarten de Rijke (Editor)

Write A Review

Hardcover | 30 June 1993

At a Glance

Hardcover
400 Pages

Dimensions(cm)
23.5 x 16.51 x 3.18

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Philosophy Philosophy & Logic Language & Linguistics Linguistics

Preface
Beyond Accessibility: Functional Models for Modal Logic	p. 1
Modal Logic and Attribute Value Structures	p. 19
Interpreting Modal Natural Deduction in Type Theory	p. 67
Modal Translations in K and D	p. 103
Logical Omniscience and Inconsistent Belief	p. 129
Cautious Backtracking in Truth Maintenance Systems	p. 147
How Completeness and Correspondence Theory Got Married	p. 175
Dyadic Modalities and Lambek Calculus	p. 215
A Logic with Progressive Tenses	p. 255
The Complexity of Propositional Tense Logics	p. 287
On Total Awareness Logics	p. 309
Completeness via Completeness: Since and Until	p. 349
The Feasibility of Defeat in Defeasible Reasoning	p. 359
Index	p. 381
Table of Contents provided by Blackwell. All Rights Reserved.

Diamonds and Defaults

Studies in Pure and Applied Intensional Logic

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Philosophy & Logic

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Critical Thinking Skills

Effective Analysis, Argument and Reflection

An Introduction to Collective Intentionality

In Action, Thought, and Society

An Introduction to Collective Intentionality

In Action, Thought, and Society

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Rationality

What It Is, Why It Seems Scarce, Why It Matters

The Logic of Scientific Discovery

Routledge Classics

Interdisciplinarity and the Art of Human Connection

Knowing in a Complex World

Inductive Probability

Routledge Revivals

Probability, Objectivity and Evidence

Routledge Revivals

How to Think More and Better

Being Reasonable in Unreasonable Times

Aristotle's Organon in Old and New Logic

1800-1950

The Philosophical Foundations of Bayesianism

An Opinionated Introduction

The Unsaid

Hermetic Poetry Between Hermeneutics and Deconstruction

Logic Before Language

Rethinking AI in the Age of Illusion, Bertrand Russell and the Future of Real AI

Philosophy and the Human Sciences

Philosophy of Language

A Contemporary Introduction

Philosophy of Language

A Contemporary Introduction

Accommodationism in Mathematics

Reference, Knowledge, and Realism

Nature of Information

Shaping Reality, Life, and Consciousness

Nature of Information

Shaping Reality, Life, and Consciousness

Logic-Based Therapy and Consultation

Theory and Applications

Late Peirce

The Life and Thought of Charles S. Peirce from 1900-1914

Deleuze's Philosophy of Time and Logic

Kant, Bergson, and the Labyrinth of the Continuum

This product is categorised by