{"product_id":"multi-dimensional-modal-logic-von-maarten-marx-yde-venema","title":"Multi-Dimensional Modal Logic","description":"\n                                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.)  \n                \n                \u003cbr\u003e\n                                  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.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9789401064019\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9789401064019","offer_id":39415647699037,"sku":"9789401064019","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/aa29cacd-b2c7-46b5-8694-60f2e888d00f.jpg?v=1772175416","url":"https:\/\/shop.autorenwelt.de\/products\/multi-dimensional-modal-logic-von-maarten-marx-yde-venema","provider":"Autorenwelt Shop","version":"1.0","type":"link"}