Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
Spis treści
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.
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format PDF ● Strony 310 ● ISBN 9789400704794 ● Rozmiar pliku 2.9 MB ● Redaktor Dov M. Gabbay & Franz Guenthner ● Wydawca Springer Netherland ● Miasto Dordrecht ● Kraj NL ● Opublikowany 2011 ● Ydanie 2 ● Do pobrania 24 miesięcy ● Waluta EUR ● ID 2221846 ● Ochrona przed kopiowaniem Społeczny DRM