Title
Multi-Dimensional Modal Logic - Hardcover
by Maarten Marx (Author), Yde Venema (Author)
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.
Back Jacket
Modal Logic is a branch of logic with applications in many related disciplines like computer science, philosophy, linguistics or artificial intelligence. Over the last twenty years, in all of these neighboring 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.). It is the aim of this book to treat 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, focussing 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.
by Maarten Marx (Author), Yde Venema (Author)
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.
Back Jacket
Modal Logic is a branch of logic with applications in many related disciplines like computer science, philosophy, linguistics or artificial intelligence. Over the last twenty years, in all of these neighboring 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.). It is the aim of this book to treat 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, focussing 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.
At Welibooks, we offer new, used, and collectible
books. Each title is carefully graded, and its condition is clearly listed
to ensure transparency and credibility—especially for used, collectible, rare,
and out-of-print books.
We encourage customers to read the book description
carefully to ensure the selected item meets their expectations. For detailed
information on how we grade our books, please click here. To better
understand common book-collecting terminology, visit our Glossary of Book
Terms here.
Shipping & Returns
Shipping
We deliver your parcel within 2–3 working days. As soon as your package has left our warehouse, you will receive a confirmation by email. This confirmation contains a tracking number that you can use to find out where your package is.
Returns
We offer free returns within 30 days. All you have to do is fill out the return slip that you received in your package and stick the prepaid label on the package.Please note that it can take 2 weeks for us to process your return. We will do our best to complete this process as soon as possible.
Shipping & Returns
Shipping
We deliver your parcel within 2–3 working days. As soon as your package has left our warehouse, you will receive a confirmation by email. This confirmation contains a tracking number that you can use to find out where your package is.
Returns
We offer free returns within 30 days. All you have to do is fill out the return slip that you received in your package and stick the prepaid label on the package.Please note that it can take 2 weeks for us to process your return. We will do our best to complete this process as soon as possible.
Warranty
We provide a 2-year limited warranty, from the date of purchase for all our products.
If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.
This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).
Warranty
We provide a 2-year limited warranty, from the date of purchase for all our products.
If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.
This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).
Secure Payment
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
We accept payments with :
Visa, MasterCard, American Express, Paypal, Diners Club, Discover and more.
Secure Payment
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
We accept payments with :
Visa, MasterCard, American Express, Paypal, Diners Club, Discover and more.