Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
Table des matières
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.
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● Pages 310 ● ISBN 9789400704794 ● Taille du fichier 2.9 MB ● Éditeur Dov M. Gabbay & Franz Guenthner ● Maison d’édition Springer Netherland ● Lieu Dordrecht ● Pays NL ● Publié 2011 ● Édition 2 ● Téléchargeable 24 mois ● Devise EUR ● ID 2221846 ● Protection contre la copie DRM sociale