Maarten Marx

(Author)

Multi-Dimensional Modal Logic (1997)Paperback - 1997, 6 October 2012

Multi-Dimensional Modal Logic (1997)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Applied Logic
Print Length
239 pages
Language
English
Publisher
Springer
Date Published
6 Oct 2012
ISBN-10
9401064016
ISBN-13
9789401064019

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.

Product Details

Authors:
Maarten MarxYde Venema
Book Edition:
1997
Book Format:
Paperback
Country of Origin:
NL
Date Published:
6 October 2012
Dimensions:
23.39 x 15.6 x 1.37 cm
ISBN-10:
9401064016
ISBN-13:
9789401064019
Language:
English
Location:
Dordrecht
Pages:
239
Publisher:
Weight:
362.87 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.