King's College London

Research portal

Research Outputs

  1. 2015
  2. Qualitätssicherung in der Versorgung psychischer Störungen – die Rolle von Leitlinien: Thema zur Diskussion Qualitätssicherung in den Kliniken für Psychiatrie und Psychotherapie an Allgemeinkrankenhäusern in Deutschland

    Beine, K. H., Bergmann, F., Klakow-Franck, R., Muijen, M., Lazeri, L., Pincus, H. A., Spaeth-Rublee, B., Pollmacher, T., Stegbauer, C., Bramesfeld, A., Willms, G., Szecsenyi, J., Shidhaye, R., Goulding, L., Thornicroft, G., Yager, J. & McIntyre, J. S., 2015, Die Psychiatrie, 12, 1, p. 42-43 2 p.

    Research output: Contribution to specialist publicationArticle

  3. 2011
  4. 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

  5. 2010
  6. Revision, Acceptability and Context

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

    Research output: Book/ReportBook

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

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

    Research output: Book/ReportBook

  9. Neural-Symbolic Cognitive Reasoning

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

    Research output: Book/ReportBook

  10. Proof Theory for Fuzzy Logics

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

    Research output: Book/ReportBook

  11. Quantification in Nonclassical Logic

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

    Research output: Book/ReportBook

  12. 2008
  13. A New Approach to Quantum Logic

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

    Research output: Book/ReportBook

  14. Analysis and Synthesis of Logics

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

    Research output: Book/ReportBook

  15. Second-Order Quantifier Elimination

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

    Research output: Book/ReportBook

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

  18. Handbook of Paraconsistency

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

    Research output: Book/ReportBook

  19. Handbook of Philosophical Logic

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

    Research output: Book/ReportBook

  20. Medieval and Renaissance Logic

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

    Research output: Book/ReportBook

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

  22. 2006
  23. Philosophy of Anthropology and Sociology

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

    Research output: Book/ReportBook

  24. Philosophy of Biology

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

    Research output: Book/ReportBook

  25. Philosophy of Logic

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

    Research output: Book/ReportBook

  26. Philosophy of Physics

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

    Research output: Book/ReportBook

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

  28. Philosophy of Science: Focal Issues

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

    Research output: Book/ReportBook

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

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

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

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

    Research output: Book/ReportBook

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

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

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

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

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

    Research output: Book/ReportBook

  38. 2003
  39. A practical logic of cognitive systems

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

    Research output: Book/ReportBook

  40. Agenda Relevance

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

    Research output: Book/ReportBook

  41. Agenda relevance : a study in formal pragmatics

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

    Research output: Book/ReportBook

  42. Handbook of philosophical logic. Vol 10.

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

    Research output: Book/ReportBook

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

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

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

    Research output: Book/ReportBook

  46. Handbook of philosophical logic. Vol. 4

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

    Research output: Book/ReportBook

  47. Handbook of philosophical logic. Vol. 5

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

    Research output: Book/ReportBook

  48. Handbook of philosophical logic. Vol. 6

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

    Research output: Book/ReportBook

  49. Handbook of philosophical logic. Vol. 7

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

    Research output: Book/ReportBook

  50. Handbook of philosophical logic. Vol. 9

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

    Research output: Book/ReportBook

  51. Neural-symbolic learning system : foundations and applications

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

    Research output: Book/ReportBook

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

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

    Research output: Book/ReportBook

  54. Handbook of philosophical logic. Vol. 2

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

    Research output: Book/ReportBook

  55. Handbook of philosophical logic. Vol. 3

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2001, 2 ed. Dordrecht and London: 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

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