Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
€149.79
表中的内容
Editorial Preface: Dov M. Gabbay.- Belief Revision: Odinaldo Rodrigues, Dov Gabbay and Alessandra Russo.- Refutation Systems in Propositional Logic: Tomasz Skura.- Quantifier Scope in Formal Linguistics: E. G. Ruys and Yoad Winter.- Non-deterministic Semantics for Logical Systems: Arnon Avron and Anna Zamansky.- Index.
语言 英语 ● 格式 PDF ● 网页 310 ● ISBN 9789400704794 ● 文件大小 2.9 MB ● 编辑 Dov M. Gabbay & Franz Guenthner ● 出版者 Springer Netherland ● 市 Dordrecht ● 国家 NL ● 发布时间 2011 ● 版 2 ● 下载 24 个月 ● 货币 EUR ● ID 2221846 ● 复制保护 社会DRM
来自同一作者的更多电子书 / 编辑
7,524 此类电子书
