King's College London

Research portal

Research Outputs

  1. 2010
  2. Revision, Acceptability and Context

    Gabbay, D., Rodrigues, O. & Russo, A., 2010, Springer.

    Research output: Book/ReportBook

  3. 2009
  4. Handbook of quantum logic and quantum structures: quantum logic

    Engesser, K. (ed.), Gabbay, D. (ed.) & Lehmann, D. (ed.), 2009, Elsevier.

    Research output: Book/ReportBook

  5. Neural-Symbolic Cognitive Reasoning

    d'Avila Garcez, A. S., Lamb, L. C. & Gabbay, D. M., 2009, Springer.

    Research output: Book/ReportBook

  6. Proof Theory for Fuzzy Logics

    Gabbay, D., Metcalfe, G. & Olivetti, N., 2009, Springer.

    Research output: Book/ReportBook

  7. Quantification in Nonclassical Logic

    Gabbay, D., Shehtman, V. & Skvortsov, D., 2009, Elsevier.

    Research output: Book/ReportBook

  8. 2008
  9. A New Approach to Quantum Logic

    Gabbay, D., Engesser, K. & Lehmann, D., 2008, College Publications.

    Research output: Book/ReportBook

  10. Analysis and Synthesis of Logics

    Gabbay, D., Carnieli, W., Coniglio, M., Gouveia, P. & Sernadas, C., 2008, Springer.

    Research output: Book/ReportBook

  11. Second-Order Quantifier Elimination

    Gabbay, D., Schmidt, R. & Szalas, A., 2008, College Publications.

    Research output: Book/ReportBook

  12. 2007
  13. British Logic in the Nineteenth Century

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2007, Elsevier. (Handbook of the History of Logic)

    Research output: Book/ReportBook

  14. Handbook of Paraconsistency

    Gabbay, D. M. (ed.), Beziau, J-Y. (ed.) & Carnielli, W. (ed.), 2007, College Publications.

    Research output: Book/ReportBook

  15. Handbook of Philosophical Logic

    Gabbay, D. M. (ed.) & Guenthner, F. (ed.), 2007, Springer Finance.

    Research output: Book/ReportBook

  16. Medieval and Renaissance Logic

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2007, Elsevier. (Handbook of the History of Logic)

    Research output: Book/ReportBook

  17. The Many-valued and Nonmonotonic Turn in Logic

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2007, Burlington : Elsevier: Elsevier. 691 p. (Handbook of the History of Logic; vol. 8)

    Research output: Book/ReportBook

  18. 2006
  19. Philosophy of Anthropology and Sociology

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  20. Philosophy of Biology

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  21. Philosophy of Logic

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  22. Philosophy of Physics

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  23. Philosophy of Psychology and Cognitive Science

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  24. Philosophy of Science: Focal Issues

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  25. 2005
  26. Handbook of Temporal Reasoning in AI

    Gabbay, D. M. (ed.), Vila, L. (ed.), Grabul, I. (ed.) & Fisher, M. (ed.), 2005, Elsevier.

    Research output: Book/ReportBook

  27. Handbook of temporal reasoning in artificial intelligence

    Fisher, M. (ed.), Gabbay, D. (ed.) & Vila, L. (ed.), 2005, 1 ed. Amsterdam: Elsevier.

    Research output: Book/ReportBook

  28. Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic

    Gabbay, D. & Maksimova, L., 2005, Oxford : Oxford University Press.

    Research output: Book/ReportBook

  29. Logic and the Modalities in the Twentieth Century

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2005, Elsevier. (Handbook of the History of Logic)

    Research output: Book/ReportBook

  30. 2004
  31. Compiled Labelled Deductive Systems for Modal and Conditional Logics

    Gabbay, D., Broda, K., Lamb, L. & Russo, A., 2004, Research Studies Press.

    Research output: Book/ReportBook

  32. Handbook of the history of logic. Vol. 1, Greek, Indian and Arabic logic

    Gabbay, D. M. (ed.) & Wodds, J. (ed.), 2004, Amsterdam: Elsevier.

    Research output: Book/ReportBook

  33. The rise of modern logic : from Leibniz to Frege. Vol. 3

    Gabbay, D. (ed.) & Woods, J. (ed.), 2004, Amsterdam: Elsevier.

    Research output: Book/ReportBook

  34. 2003
  35. A practical logic of cognitive systems

    Gabbay, D. M. & Woods, J., 2003, Amsterdam ; Boston: Elsevier.

    Research output: Book/ReportBook

  36. Agenda Relevance

    Gabbay, D. M. & Woods, J., 2003, Elsevier.

    Research output: Book/ReportBook

  37. Agenda relevance : a study in formal pragmatics

    Gabbay, D. M. & Woods, J., 2003, Amsterdam ; London: Elsevier.

    Research output: Book/ReportBook

  38. Handbook of philosophical logic. Vol 10.

    Guenthner, F. & Gabbay, D. M., 2003, Edition: Kluwer Academic Publishers.

    Research output: Book/ReportBook

  39. Many-dimensional modal logics: theory and applications

    Gabbay, D. M., Kurucz, A., Wolter, F. & Zakharyaschev, M., 2003, Elsevier. (Studies in Logic and the Foundations of Mathematics; vol. 148)

    Research output: Book/ReportBook

  40. 2002
  41. Handbook of Philosophical Logic Vol. 8

    Gabbay, D. (ed.) & Guenthner, F. (ed.), 2002, Kluwer Academic Publishers.

    Research output: Book/ReportBook

  42. Handbook of philosophical logic. Vol. 4

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2002, 2 ed. Dordrecht and London: Kluwer Academic.

    Research output: Book/ReportBook

  43. Handbook of philosophical logic. Vol. 5

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2002, 2 ed. Dordrecht ; London: Kluwer Academic.

    Research output: Book/ReportBook

  44. Handbook of philosophical logic. Vol. 6

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2002, 2 ed. Dordrecht ; London: Kluwer Academic Publishers.

    Research output: Book/ReportBook

  45. Handbook of philosophical logic. Vol. 7

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2002, 2 ed. Dordrecht ; London: Kluwer Academic.

    Research output: Book/ReportBook

  46. Handbook of philosophical logic. Vol. 9

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2002, 2 ed. Dordrecht ; London: Kluwer Academic.

    Research output: Book/ReportBook

  47. Neural-symbolic learning system : foundations and applications

    Garcez, A. S. DA., Broda, K. & Gabbay, D. M., 2002, London: Springer.

    Research output: Book/ReportBook

  48. 2001
  49. Handbook of philosophical logic. Vol. 1

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2001, 2 ed. Dordrecht ; London: Kluwer Academic.

    Research output: Book/ReportBook

  50. Handbook of philosophical logic. Vol. 2

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2001, 2 ed. Dordrecht and London: Kluwer Academic.

    Research output: Book/ReportBook

  51. Handbook of philosophical logic. Vol. 3

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2001, 2 ed. Dordrecht and London: Kluwer Academic.

    Research output: Book/ReportBook

  52. 2000
  53. Abductive reasoning and learning

    Gabbay, D. M. & Kruse, R., 2000, Dordrecht ; Boston: Kluwer Academic Publishers.

    Research output: Book/ReportBook

  54. Frontiers of combining systems 2

    Gabbay, D. M. & de Rijke, M., 2000, Baldock ; Philadelphia, PA: Research Studies Press.

    Research output: Book/ReportBook

  55. Goal-directed proof theory

    Gabbay, D. M. & Olivetti, N., 2000, Dordrecht ; Boston: Kluwer Academic.

    Research output: Book/ReportBook

Previous 1 2 Next

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

Refine results Clear filters

Language

Language

Publication year

Meeting and poster abstracts

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