| 书目名称 | Multi-Dimensional Modal Logic | | 编辑 | Maarten Marx,Yde Venema | | 视频video | | | 丛书名称 | Applied Logic Series | | 图书封面 |  | | 描述 | Modal Logic is a branch of logic with applications in manyrelated disciplines such as computer science, philosophy, linguisticsand artificial intelligence. Over the last twenty years, in all ofthese neighbouring fields, modal systems have been developed that wecall multi-dimensional. (Our definition of multi-dimensionality inmodal logic is a technical one: we call a modal formalismmulti-dimensional if, in its intended semantics, the universe of amodel 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 inalgebraic logic. We will define and discuss a number of systems indetail, focusing on such aspects as expressiveness, definability,axiomatics, decidability and interpolation. Although the book will bemathematical in spirit, we take care to give motivations from thedisciplines mentioned earlier on. | | 出版日期 | Book 1997 | | 关键词 | Tuple; artificial intelligence; bibliography; computer; formalism; linguistics; logic; modal logic; model; ph | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-011-5694-3 | | isbn_softcover | 978-94-010-6401-9 | | isbn_ebook | 978-94-011-5694-3Series ISSN 1386-2790 | | issn_series | 1386-2790 | | copyright | Springer Science+Business Media Dordrecht 1997 |
The information of publication is updating
|
|
发表于 2025-3-21 18:16:55
