Handbook of Philosophical Logic Volume 16 /
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-determinis...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Dordrecht :
Springer Netherlands,
2011.
|
Σειρά: | Handbook of Philosophical Logic ;
16 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.