King's College London

Research portal

Research Outputs

  1. 2015
  2. 2011
  3. Community mental health: Putting policy into practice globally

    Thornicroft, G., Semrau, M., Alem, A., Drake, R. E., Ito, H., Mari, J., McGeorge, P. & Rangaswamy, T., 2011, N/A ed. Chichester: John Wiley & Sons, Ltd. 248 p.

    Research output: Book/ReportBook

  4. 2010
  5. Revision, Acceptability and Context

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

    Research output: Book/ReportBook

  6. 2009
  7. Handbook of quantum logic and quantum structures: quantum logic

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

    Research output: Book/ReportBook

  8. Neural-Symbolic Cognitive Reasoning

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

    Research output: Book/ReportBook

  9. Proof Theory for Fuzzy Logics

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

    Research output: Book/ReportBook

  10. Quantification in Nonclassical Logic

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

    Research output: Book/ReportBook

  11. 2008
  12. A New Approach to Quantum Logic

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

    Research output: Book/ReportBook

  13. Analysis and Synthesis of Logics

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

    Research output: Book/ReportBook

  14. Second-Order Quantifier Elimination

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

    Research output: Book/ReportBook

  15. 2007
  16. 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

  17. Handbook of Paraconsistency

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

    Research output: Book/ReportBook

  18. Handbook of Philosophical Logic

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

    Research output: Book/ReportBook

  19. Medieval and Renaissance Logic

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

    Research output: Book/ReportBook

  20. 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

  21. 2006
  22. Philosophy of Anthropology and Sociology

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

    Research output: Book/ReportBook

  23. Philosophy of Biology

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

    Research output: Book/ReportBook

  24. Philosophy of Logic

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

    Research output: Book/ReportBook

  25. Philosophy of Physics

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

    Research output: Book/ReportBook

  26. 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

  27. Philosophy of Science: Focal Issues

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

    Research output: Book/ReportBook

  28. 2005
  29. 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

  30. 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

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

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

    Research output: Book/ReportBook

  32. 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

  33. 2004
  34. 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

  35. 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

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

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

    Research output: Book/ReportBook

  37. 2003
  38. A practical logic of cognitive systems

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

    Research output: Book/ReportBook

  39. Agenda Relevance

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

    Research output: Book/ReportBook

  40. Agenda relevance : a study in formal pragmatics

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

    Research output: Book/ReportBook

  41. Handbook of philosophical logic. Vol 10.

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

    Research output: Book/ReportBook

  42. 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

  43. 2002
  44. Handbook of Philosophical Logic Vol. 8

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

    Research output: Book/ReportBook

  45. Handbook of philosophical logic. Vol. 4

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

    Research output: Book/ReportBook

  46. Handbook of philosophical logic. Vol. 5

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

    Research output: Book/ReportBook

  47. Handbook of philosophical logic. Vol. 6

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

    Research output: Book/ReportBook

  48. Handbook of philosophical logic. Vol. 7

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

    Research output: Book/ReportBook

  49. Handbook of philosophical logic. Vol. 9

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

    Research output: Book/ReportBook

  50. Neural-symbolic learning system : foundations and applications

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

    Research output: Book/ReportBook

  51. 2001
  52. Handbook of philosophical logic. Vol. 1

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

    Research output: Book/ReportBook

  53. Handbook of philosophical logic. Vol. 2

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

    Research output: Book/ReportBook

  54. Handbook of philosophical logic. Vol. 3

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

    Research output: Book/ReportBook

  55. 2000
  56. Abductive reasoning and learning

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

    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

Publication year

Full text

Full text

Meeting and poster abstracts

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