Handbook of Philosophical Logic. Vol.16

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

Sommario

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.

Riassunto

Belief Revision Refutation  and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

Dettagli sul prodotto

• Con la collaborazione di: Dov M Gabbay (Editore), Dov M. Gabbay (Editore), Guenthner (Editore), Guenthner (Editore), Franz Guenthner (Editore), Do M Gabbay (Editore), Dov M Gabbay (Editore)
• Editore: Springer Netherlands
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 06.10.2010
• EAN: 9789400704787
• ISBN: 978-94-0-070478-7
• Pagine: 310
• Dimensioni: 157 mm x 242 mm x 23 mm
• Peso: 653 g
• Illustrazioni: XIV, 310 p.
• Serie: Handbook of Philosophical Logi
• Categorie: Saggistica > Filosofia, religione > Filosofia: tematiche generali, opere di consultazione; Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; Scienze umane, arte, musica > Filosofia > Tematiche generali, enciclopedie