Handbook of Philosophical Logic Volume 17 /
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increas...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2014.
|
Σειρά: | Handbook of Philosophical Logic ;
17 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Editorial Preface; Dov M. Gabbay
- Hybrid Logic; Torben Braüner
- Nominal Terms and Nominal Logics: From Foundations to Meta-mathematics; Murdoch J. Gabbay
- Introduction to Labelled Deductive Systems; Dov M. Gabbay
- Index.