Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
Mục lục
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.
Ngôn ngữ Anh ● định dạng PDF ● Trang 310 ● ISBN 9789400704794 ● Kích thước tập tin 2.9 MB ● Biên tập viên Dov M. Gabbay & Franz Guenthner ● Nhà xuất bản Springer Netherland ● Thành phố Dordrecht ● Quốc gia NL ● Được phát hành 2011 ● Phiên bản 2 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 2221846 ● Sao chép bảo vệ DRM xã hội