Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (6 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Multi-Dimensional Modal Logic
Authors: Maarten Marx, Yde Venema
Series Title: Applied Logic Series
DOI: https://doi.org/10.1007/978-94-011-5694-3
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 1997
Hardcover ISBN: 978-0-7923-4345-5Published: 30 November 1996
Softcover ISBN: 978-94-010-6401-9Published: 06 October 2012
eBook ISBN: 978-94-011-5694-3Published: 06 December 2012
Series ISSN: 1386-2790
Edition Number: 1
Number of Pages: XIII, 239
Topics: Logic, Mathematical Logic and Foundations, Computational Linguistics