Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
İçerik tablosu
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.
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● Sayfalar 310 ● ISBN 9789400704794 ● Dosya boyutu 2.9 MB ● Editör Dov M. Gabbay & Franz Guenthner ● Yayımcı Springer Netherland ● Kent Dordrecht ● Ülke NL ● Yayınlanan 2011 ● Baskı 2 ● İndirilebilir 24 aylar ● Döviz EUR ● Kimlik 2221846 ● Kopya koruma Sosyal DRM