Applied Logic

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 $89.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.

Applied Logic

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

How to Talk to AI

(And How Not To)

The Challenge of the Future

What Should We Keep from Yesterday as We Rush Into Tomorrow?

Project Maven

A Marine Colonel, His Team, and the Dawn of AI Warfare

Empire of AI

Inside the reckless race for total domination

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

God, AI and the End of History

Understanding the Book of Revelation in an Age of Intelligent Machines

We Are As Gods

A Survival Guide for the Age of Abundance

How We Learn

The New Science of Education and the Brain

Handbook of Digitalization and Big Data in the Water Sector

International Case Studies (Volume 3)

AI in Legal Tech

How Generative AI Is Transforming Legal Technology and the Practice of Law

The Synthetic Intimacy Economy

A Comprehensive Analysis of AI Romantic Companionship and the Loneliness Epidemic

Control, Robotics and Sensors

Design, Control and Applications

AI and Data Science in Medical Research

New Developments and Advances

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

Synthetic Intelligence in Education

Transforming Pedagogy with AI

Sixth Congress on Intelligent Systems

CIS 2025, Volume 6

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

AI for Good

How Real People Are Using Artificial Intelligence to Fix Things That Matter

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

Deceptive Intelligence

AI, Social Engineering, and Securing the Human Element

The DeepSeek Moment

A New Era of Efficiency, Intelligent Design, and Democratization

Machine Learning, Optimization, and Data Science

11th International Conference, LOD 2025, Castiglione della Pescaia, Italy, September 21-24, 2025, Revised Selected Papers, Part II

Proceedings of the 6th International Conference on Big Data Analytics for Cyber-Physical System in Smart City, Volume 1

BDCPS 2024, December 7â"8, Ji'an, China

Digital Transformation: What Kind of Smart Life do we have today?

Volume 1

This product is categorised by