Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
สารบัญ
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.
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา อังกฤษ ● รูป PDF ● หน้า 310 ● ISBN 9789400704794 ● ขนาดไฟล์ 2.9 MB ● อายุ 02-99 ปี ● บรรณาธิการ Dov M. Gabbay & Franz Guenthner ● สำนักพิมพ์ Springer Netherland ● เมือง Dordrecht ● ประเทศ NL ● การตีพิมพ์ 2011 ● ฉบับ 2 ● ที่สามารถดาวน์โหลดได้ 24 เดือน ● เงินตรา EUR ● ID 2221846 ● ป้องกันการคัดลอก โซเชียล DRM