Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
Tabela de Conteúdo
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.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● Páginas 310 ● ISBN 9789400704794 ● Tamanho do arquivo 2.9 MB ● Editor Dov M. Gabbay & Franz Guenthner ● Editora Springer Netherland ● Cidade Dordrecht ● País NL ● Publicado 2011 ● Edição 2 ● Carregável 24 meses ● Moeda EUR ● ID 2221846 ● Proteção contra cópia DRM social