Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
€149.79
Tabella dei contenuti
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.
Lingua Inglese ● Formato PDF ● Pagine 310 ● ISBN 9789400704794 ● Dimensione 2.9 MB ● Editore Dov M. Gabbay & Franz Guenthner ● Casa editrice Springer Netherland ● Città Dordrecht ● Paese NL ● Pubblicato 2011 ● Edizione 2 ● Scaricabile 24 mesi ● Moneta EUR ● ID 2221846 ● Protezione dalla copia DRM sociale
Altri ebook dello stesso autore / Editore
7.524 Ebook in questa categoria
