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. Pathophysiology of systolic heart failure. In: Chronic Heart Failure.

    Cubbon, R. (ed.), Shah, AM. (ed.) & Kearney, A. (ed.), 2008, Oxford University Press.

    Research output: Book/ReportBook

  12. Reactive oxygen species in heart failure. In: Acute Heart Failure

    Zhang, M. (ed.), Shah, AM. (ed.), Mebazaa, A. (ed.), Gheorghiade, M. (ed.), Zannad, FM. (ed.) & Parrillo, JE. (ed.), 2008, Springer.

    Research output: Book/ReportBook

  13. Second-Order Quantifier Elimination

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

    Research output: Book/ReportBook

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

  16. Handbook of Paraconsistency

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

    Research output: Book/ReportBook

  17. Handbook of Philosophical Logic

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

    Research output: Book/ReportBook

  18. Medieval and Renaissance Logic

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

    Research output: Book/ReportBook

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

  20. 2006
  21. Philosophy of Anthropology and Sociology

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

    Research output: Book/ReportBook

  22. Philosophy of Biology

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

    Research output: Book/ReportBook

  23. Philosophy of Logic

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

    Research output: Book/ReportBook

  24. Philosophy of Physics

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

    Research output: Book/ReportBook

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

  26. Philosophy of Science: Focal Issues

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

    Research output: Book/ReportBook

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

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

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

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

    Research output: Book/ReportBook

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

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

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

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

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

    Research output: Book/ReportBook

  36. 2003
  37. A practical logic of cognitive systems

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

    Research output: Book/ReportBook

  38. Agenda Relevance

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

    Research output: Book/ReportBook

  39. Agenda relevance : a study in formal pragmatics

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

    Research output: Book/ReportBook

  40. Handbook of philosophical logic. Vol 10.

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

    Research output: Book/ReportBook

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

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

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

    Research output: Book/ReportBook

  44. Handbook of philosophical logic. Vol. 4

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

    Research output: Book/ReportBook

  45. Handbook of philosophical logic. Vol. 5

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

    Research output: Book/ReportBook

  46. Handbook of philosophical logic. Vol. 6

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

    Research output: Book/ReportBook

  47. Handbook of philosophical logic. Vol. 7

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

    Research output: Book/ReportBook

  48. Handbook of philosophical logic. Vol. 9

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

    Research output: Book/ReportBook

  49. Neural-symbolic learning system : foundations and applications

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

    Research output: Book/ReportBook

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

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

    Research output: Book/ReportBook

  52. Handbook of philosophical logic. Vol. 2

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

    Research output: Book/ReportBook

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

Meeting and poster abstracts

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