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 ● هوية شخصية 2221846 ● حماية النسخ DRM الاجتماعية
المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر
7٬524 كتب إلكترونية في هذه الفئة
