King's College London

Research portal

Research Outputs

  1. 2010
  2. 2009
  3. d'Avila Garcez, AS, Lamb, LC & Gabbay, DM 2009, Neural-Symbolic Cognitive Reasoning. Springer.
  4. Gabbay, D, Metcalfe, G & Olivetti, N 2009, Proof Theory for Fuzzy Logics. Springer.
  5. Gabbay, D, Shehtman, V & Skvortsov, D 2009, Quantification in Nonclassical Logic. Elsevier.
  6. 2008
  7. Gabbay, D, Engesser, K & Lehmann, D 2008, A New Approach to Quantum Logic. College Publications.
  8. Gabbay, D, Carnieli, W, Coniglio, M, Gouveia, P & Sernadas, C 2008, Analysis and Synthesis of Logics. Springer.
  9. Gabbay, D, Schmidt, R & Szalas, A 2008, Second-Order Quantifier Elimination. College Publications.
  10. 2007
  11. Gabbay, DM & Woods, J (eds) 2007, British Logic in the Nineteenth Century. Handbook of the History of Logic, vol. 4, Elsevier.
  12. Gabbay, DM, Beziau, J-Y & Carnielli, W (eds) 2007, Handbook of Paraconsistency. College Publications.
  13. Gabbay, DM & Guenthner, F (eds) 2007, Handbook of Philosophical Logic. Springer Finance.
  14. Gabbay, DM & Woods, J (eds) 2007, Medieval and Renaissance Logic. Handbook of the History of Logic, vol. 2, Elsevier.
  15. Gabbay, DM & Woods, J (eds) 2007, The Many-valued and Nonmonotonic Turn in Logic. Handbook of the History of Logic, vol. 8, Elsevier, Burlington : Elsevier.
  16. 2006
  17. Gabbay, DM & Woods, J (eds) 2006, Philosophy of Anthropology and Sociology. Handbook of the Philosophy of Science, vol. 15, Elsevier.
  18. Gabbay, DM & Woods, J (eds) 2006, Philosophy of Biology. Handbook of the Philosophy of Science, vol. 3, Elsevier.
  19. Gabbay, DM & Woods, J (eds) 2006, Philosophy of Logic. Handbook of the Philosophy of Science, vol. 5, Elsevier.
  20. Gabbay, DM & Woods, J (eds) 2006, Philosophy of Physics. Handbook of the Philosophy of Science, vol. 2, Elsevier.
  21. Gabbay, DM & Woods, J (eds) 2006, Philosophy of Psychology and Cognitive Science. Handbook of the Philosophy of Science, vol. 12, Elsevier.
  22. Gabbay, DM & Woods, J (eds) 2006, Philosophy of Science: Focal Issues. Handbook of the Philosophy of Science, vol. 1, Elsevier.
  23. 2005
  24. Gabbay, DM, Vila, L, Grabul, I & Fisher, M (eds) 2005, Handbook of Temporal Reasoning in AI. Elsevier.
  25. Fisher, M, Gabbay, D & Vila, L (eds) 2005, Handbook of temporal reasoning in artificial intelligence. 1 edn, Elsevier, Amsterdam.
  26. Gabbay, D & Maksimova, L 2005, Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic. Oxford University Press, Oxford .
  27. Gabbay, DM & Woods, J (eds) 2005, Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic, vol. 7, Elsevier.
  28. 2004
  29. Gabbay, D, Broda, K, Lamb, L & Russo, A 2004, Compiled Labelled Deductive Systems for Modal and Conditional Logics. Research Studies Press.
  30. Gabbay, D & Woods, J (eds) 2004, The rise of modern logic : from Leibniz to Frege. Vol. 3. Elsevier, Amsterdam.
  31. 2003
  32. Gabbay, DM & Woods, J 2003, A practical logic of cognitive systems. Elsevier, Amsterdam ; Boston.
  33. Gabbay, DM & Woods, J 2003, Agenda relevance : a study in formal pragmatics. Elsevier, Amsterdam ; London.
  34. Guenthner, F & Gabbay, DM 2003, Handbook of philosophical logic. Vol 10. Kluwer Academic Publishers, Edition.
  35. Gabbay, DM, Kurucz, A, Wolter, F & Zakharyaschev, M 2003, Many-dimensional modal logics: theory and applications. Studies in Logic and the Foundations of Mathematics, vol. 148, Elsevier.
  36. 2002
  37. Gabbay, D & Guenthner, F (eds) 2002, Handbook of Philosophical Logic Vol. 8. Kluwer Academic Publishers.
  38. Gabbay, D & Guenther, F (eds) 2002, Handbook of philosophical logic. Vol. 4. 2 edn, Kluwer Academic, Dordrecht and London.
  39. Gabbay, D & Guenther, F (eds) 2002, Handbook of philosophical logic. Vol. 5. 2 edn, Kluwer Academic, Dordrecht ; London.
  40. Gabbay, D & Guenther, F (eds) 2002, Handbook of philosophical logic. Vol. 6. 2 edn, Kluwer Academic Publishers, Dordrecht ; London.
  41. Gabbay, D & Guenther, F (eds) 2002, Handbook of philosophical logic. Vol. 7. 2 edn, Kluwer Academic, Dordrecht ; London.
  42. Gabbay, D & Guenther, F (eds) 2002, Handbook of philosophical logic. Vol. 9. 2 edn, Kluwer Academic, Dordrecht ; London.
  43. Gabbay, DM, Olbach, HJ & Woods, J (eds) 2002, Handbook of the Logic of Argument and Inference : The Turn Towards the Practical . North-Holland Publishing Co (Elsevier Science & Technology).
  44. 2001
  45. Gabbay, D & Guenther, F (eds) 2001, Handbook of philosophical logic. Vol. 1. 2 edn, Kluwer Academic, Dordrecht ; London.
  46. Gabbay, D & Guenther, F (eds) 2001, Handbook of philosophical logic. Vol. 2. 2 edn, Kluwer Academic, Dordrecht and London.
  47. Gabbay, D & Guenther, F (eds) 2001, Handbook of philosophical logic. Vol. 3. 2 edn, Kluwer Academic, Dordrecht and London.
  48. 2000
  49. Gabbay, DM & Kruse, R 2000, Abductive reasoning and learning. Kluwer Academic Publishers, Dordrecht ; Boston.
  50. Gabbay, DM & de Rijke, M 2000, Frontiers of combining systems 2. Research Studies Press, Baldock ; Philadelphia, PA.
  51. Gabbay, DM & Olivetti, N 2000, Goal-directed proof theory. Kluwer Academic, Dordrecht ; Boston.
Previous 1 2 Next

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Publication year

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454