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.
Number of pages: 239
Weight: 1190 g
Dimensions: 235 x 155 x 15 mm
Edition: 1997 ed.
You may also be interested in...
Please sign in to write a review