Labelled Deduction

By: Marcello D'Agostino, Dov M. Gabbay, David Basin (Editor)

Write A Review

Hardcover | 30 April 2000

At a Glance

Hardcover
284 Pages

Edition Type
Annotated

Dimensions(cm)
23.5 x 15.88 x 1.27

Hardcover

$169.75

or 4 interest-free payments of $42.44 with

Ships in 5 to 7 business days

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.

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 Computing & I.T.Computer Science Artificial Intelligence Philosophy Philosophy & Logic

Preface	p. vii
Contributing Authors	p. ix
Labelled Proof Systems for Intuitionistic Provability	p. 1
Normal Multimodal Logics with Interaction Axioms	p. 33
The SAT Problem of Signed CNF Formulas	p. 59
Discipline as Logic: Treating Labels as First Class Citizens	p. 81
Labelled Abduction	p. 107
Labelled Tableaux for Propositional Linear Time Logic over Finite Frames	p. 135
Fibred Modal Tableaux	p. 161
Labelled Deduction for the Guarded Fragment	p. 193
Semantics for Temporal Annotated Constraint Logic Programming	p. 215
The Logic of Reusable Propositional Output with the Fulfilment Constraint	p. 245
Table of Contents provided by Syndetics. All Rights Reserved.

Labelled Deduction

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

Rationality

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

The Logic of Scientific Discovery

Routledge Classics

True Facts That Sound Like Bull$#*t

500 Insane-But-True Facts That Will Shock and Impress Your Friends (The Ultimate Fun Facts Book for Trivia Night Domination)

Inductive Probability

Routledge Revivals

Probability, Objectivity and Evidence

Routledge Revivals

Aristotle's Organon in Old and New Logic

1800-1950

An Introduction to Collective Intentionality

In Action, Thought, and Society

An Introduction to Collective Intentionality

In Action, Thought, and Society

Philosophy of Language

A Contemporary Introduction

Philosophy of Language

A Contemporary Introduction

Interdisciplinarity and the Art of Human Connection

Knowing in a Complex World

Philosophy and the Human Sciences

Accommodationism in Mathematics

Reference, Knowledge, and Realism

Analogy and Exemplary Reasoning in Legal Discourse

Logic Before Language

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

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

The Philosophical Foundations of Bayesianism

An Opinionated Introduction

How to Win an Argument

An Ancient Guide to the Art of Persuasion

Critical Thinking

The Basics

The Architecture of Nothingness

An Explanation of the Objective Basis of Beauty in Architecture and the Arts

This product is categorised by