Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Netherland |
| Ersterscheinung | 06. Oktober 2012 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 394 Gramm |
| Format | Softcover |
| ISBN-13 | 9789401064019 |
| Seiten | 239 |