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.
Мова Англійська ● Формат PDF ● Сторінки 310 ● ISBN 9789400704794 ● Розмір файлу 2.9 MB ● Редактор Dov M. Gabbay & Franz Guenthner ● Видавець Springer Netherland ● Місто Dordrecht ● Країна NL ● Опубліковано 2011 ● Видання 2 ● Завантажувані 24 місяців ● Валюта EUR ● Посвідчення особи 2221846 ● Захист від копіювання Соціальний DRM