Applied Logic

By: Maarten Marx, Yde Venema

Write A Review

Hardcover | 30 November 1996

At a Glance

Hardcover
256 Pages

Dimensions(cm)
25.4 x 17.15 x 2.54

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi-dimensionality in modal logic is a technical one: we call a modal formalism multi-dimensional if, in its intended semantics, the universe of a model consists of states that are tuples over some more basic set.)
This book treats such multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. We will define and discuss a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Although the book will be mathematical in spirit, we take care to give motivations from the disciplines mentioned earlier on.

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 $79.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 Computational Linguistics

Other Editions and Formats

Paperback

Published: 6th October 2012

View Product

Preface
Multi-dimensional modal logic	p. 1
Two-dimensional modal logics	p. 11
Arrow logic	p. 43
Modal logics of intervals	p. 93
Modal logics of relations	p. 113
Multi-dimensional semantics for every modal language	p. 169
Open problems	p. 181
Modal Similarity Types	p. 185
A Modal Toolkit	p. 199
Bibliography	p. 223
List of symbols	p. 233
Index	p. 237
Table of Contents provided by Blackwell. All Rights Reserved.

Applied Logic

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Computational Linguistics

Human Raised

Nurturing Connection, Curiosity & Lifelong Learning in the Age of AI

Acting

Keywords and Concepts

Acting

Keywords and Concepts

Exploring Meaning in Surveillance Discourses through Corpora

Corpus and Discourse

Large Language Models and Prompt Engineering

A Comprehensive Guide with Practical Applications

Social Network Analytics

Empowering Data Engineering with Deep Learning and Large Language Models

Smarter Healthcare through Generative Intelligence

Advances in Computational Collective Intelligence

Smarter Healthcare through Generative Intelligence

Advances in Computational Collective Intelligence

Cultural Tasks for Digital Language Learning

Advances in Digital Language Learning and Teaching

Federated Learning in Financial Services

A Path to Secure AI

AI-Powered Business Analytics

From Data to Decisions

An Introduction to Large Language Models

An Introduction to Large Language Models

Machine Translation

Best Practices using Deep Learning and Generative AI

Data and Model Centric Artificial Intelligence for Industry 5.0

Information Design

Design for Engagement

Translation Tools and Technologies

Routledge Introductions to Translation and Interpreting

Technology and Language Learning

Cambridge Applied Linguistics

Elements of Generative Syntax

How Rationality Tackles the Language System

Generative Artificial Intelligence and English-Medium Education

Elements in Generative AI in Education

Generative Artificial Intelligence and English-Medium Education

Elements in Generative AI in Education

Generative AI

Foundations & Concepts

Language, Imitation and Creativity

Dialogic Resonance in Grammar and Pragmatics

Language, Imitation and Creativity

Dialogic Resonance in Grammar and Pragmatics

This product is categorised by