This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field. Topics include, Belief Revision, Refutation Systems in Propositional Logic, Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
Author(s): Dov M. Gabbay, Franz Guenthner (eds.)
Edition: 2nd
Publisher: Springer
Year: 2011
Language: English
Pages: 310
Tags: Logic; Linguistics (general); Philosophy
Front Matter....Pages i-xiii
Belief Revision....Pages 1-114
Refutation Systems in Propositional Logic....Pages 115-157
Quantifier Scope in Formal Linguistics....Pages 159-225
Non-Deterministic Semantics for Logical Systems....Pages 227-304
Back Matter....Pages 305-310