书目名称 | Handbook ofPhilosophical Logic |
副标题 | Volume 16 |
编辑 | Dov M. Gabbay,Franz Guenthner |
视频video | |
概述 | Comprehensive coverage of Belief Revision.Refutation Systems in Propositional Logic Quantifier.Scope in Formal Linguistics.Non-deterministic Semantics for Logical Systems |
丛书名称 | Handbook of Philosophical Logic |
图书封面 |  |
描述 | Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems. |
出版日期 | Book 2011Latest edition |
关键词 | belief revision; language; non classical logics; quantifier scope; refutation logic |
版次 | 2 |
doi | https://doi.org/10.1007/978-94-007-0479-4 |
isbn_softcover | 978-94-007-3460-9 |
isbn_ebook | 978-94-007-0479-4Series ISSN 3004-992X Series E-ISSN 3004-9938 |
issn_series | 3004-992X |
copyright | Springer Science+Business Media B.V. 2011 |