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

or 4 interest-free payments of $42.25 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.

Applied Logic

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

Encyclical Letter Magnifica Humanitas

On Safeguarding the Human Person in the Time of Artificial Intelligence

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Empire of AI

Inside the reckless race for total domination

Nexus

A Brief History of Information Networks from the Stone Age to AI

How We Learn

The New Science of Education and the Brain

Co-Intelligence

Living and Working with AI

Artificial Intelligence

A Modern Approach, 4th Global Edition

Generative Artificial Intelligence in Knowledge Management Systems

Concepts, Design, and Case Studies

Reinforcement Learning Explained

A Practical Problem-Solving Approach

Reinforcement Learning Explained

A Practical Problem-Solving Approach

Handbook of Intelligent Robots

Theory, Methods and Applications

Translate

Multilingual Access to Critical Services in the Age of AI

Control, Robotics and Sensors

Design, Control and Applications

Recent Advances in Information Systems

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

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

AI for Public Relations

A How-To Guide for Implementation and Management

Raising AI

An Essential Guide to Parenting Our Future

AI and Data Science in Medical Research

New Developments and Advances

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

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

Research and Education in Urban History in the Age of Digital Libraries

4th International Workshop, UHDL 2025, Vienna, Austria, November 3-5, 2025, Revised Selected Papers

Enhancing Ultra-Low-Field MRI with Paired High-Field MRI Comparisons for Brain Imaging

First International Challenge, ULF-EnC 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings

This product is categorised by