| 書目名稱 | Multi-Dimensional Modal Logic | | 編輯 | Maarten Marx,Yde Venema | | 視頻video | http://file.papertrans.cn/640/639943/639943.mp4 | | 叢書名稱 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-24 02:22
發(fā)表于 2025-3-21 18:16:55
