|
|
|||
|
||||
OverviewBelief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems. Full Product DetailsAuthor: Dov M. Gabbay , Franz GuenthnerPublisher: Springer Imprint: Springer Edition: Second Edition 2011 Volume: 16 Dimensions: Width: 15.50cm , Height: 1.90cm , Length: 23.50cm Weight: 1.400kg ISBN: 9789400704787ISBN 10: 940070478 Pages: 310 Publication Date: 10 December 2010 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsEditorial 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||