| 书目名称 | Kripke’s Worlds | | 副标题 | An Introduction to M | | 编辑 | Olivier Gasquet,Andreas Herzig,François Schwarzent | | 视频video | http://file.papertrans.cn/541/540577/540577.mp4 | | 概述 | Aims at filling the gap between existing introductory and advanced textbooks.Introduces to the most important modal logics with multiple modalities from the perspective of the associated reasoning tas | | 丛书名称 | Studies in Universal Logic | | 图书封面 |  | | 描述 | .Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world‘s model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics). All these logics have been studied intensively in philosophical and mathematical logic and in computer science, and have been applied increasingly in domains such as program semantics, artificial intelligence, and more recently in the semantic web. Additionally, all these logics were also studied proof theoretically. The proof systems for modal logics come in various styles: Hilbert style, natural deduction, sequents, and resolution. However, it is fair to say that the most uniform and most successful such systems are tableaux systems. Given logic and a formula, they allow one to check whether there is a model in that logic. This basically amounts to trying to build a model for the formula by building a tree. .This book follows a more general appr | | 出版日期 | Book 2014 | | 关键词 | epistemic logics; modal logics; tableau method; temporal logics | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-7643-8504-0 | | isbn_softcover | 978-3-7643-8503-3 | | isbn_ebook | 978-3-7643-8504-0Series ISSN 2297-0282 Series E-ISSN 2297-0290 | | issn_series | 2297-0282 | | copyright | Springer Basel AG 2014 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-11 17:36
发表于 2025-3-21 19:11:23
