Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Multi-Dimensional Modal Logic

Multi-Dimensional Modal Logic

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9789401156943
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Scapegoats and Social Actors

$84.99

Die Vorsokratiker

$19.99

Am anderen Ende des Mikroskops

$37.99

Introduction to Matrix Theory

$49.99

From the PS to the LHC - 50 Years of Nobel Memories in High-Energy Physics

$139.99

Chemistry for the Protection of the Environment 2

$84.99

Revealing Behavioural Synchronization in Humans and Other Animals

$109.00

The Dynamic Sun

$129.00

The Exoteric Square of Opposition

$129.00

The Health Care Marketplace

$39.99

Hormonal Regulation of Testicular Descent

$54.99

Afrika Jahrbuch 1995

$59.99

Infrastruktur fr ein Data Mining Design Framework

$64.99

Eingriffverhltnisse der Schneckengetriebe mit Evolventen- und Cykloidenverzahnung und ihr Einfluss

$79.99

Die Verffentlichungen der sterreichischen Akademie der Wissenschaften Mathematisch-naturwissenscha

$54.99

Accidental Presidents

$39.99

Henri Poincar

$139.99

The Deep Hot Biosphere

$29.99

Roberto Bolao, a Less Distant Star

$54.99

Source Book of Flavors

$249.99

Sustainability through Service

$54.99

Information Security and Cryptology

$74.99

The Discourse of Security

$119.99

Physics of Condensed Matter

$59.99

Bivalve Filter Feeders

$169.99

Innovationsphnomene

$49.99

Residential Fire Safety

$109.99

Finite Element Bibliography

$54.99

Make a 2D RPG in a Weekend

$39.99

Varying Dimensions of Indias National Security

$99.00

Specification and Verification of Declarative Open Interaction Models

$39.99

Atherosclerosis Disease Management

$169.00

Data Structures and Algorithms with Scala

$44.99

Advances in Social Simulation

$169.00

Neue Riementheorie

$59.99

Water Footprint

$54.99

The Human Right to Water

$159.99

The Talent Industry

$79.99

Pediatric Neuroimaging

$179.99

Grundeinkommen und Werteorientierungen

$29.99