King's College London

Research portal

Research Outputs

  1. 2018
  2. Revisiting BWC Verification: Information-sharing

    Lentzos, F., Aug 2018

    Research output: Book/ReportCommissioned report

  3. Revisiting BWC Verification: Visits

    Lentzos, F., Aug 2018

    Research output: Book/ReportCommissioned report

  4. 2016
  5. 21st Century Biodefence: Risks, Trade-Offs & Responsible Science

    Lentzos, F. & Koblentz, G., Nov 2016

    Research output: Book/ReportCommissioned report

  6. Article V: Confidence-Building Measures

    Lentzos, F., Aug 2016, University of Bradford.

    Research output: Book/ReportCommissioned report

  7. Article VIII: Geneva Protocol Obligations

    Lentzos, F., Sims, N., Pearson, G. S. & McLeish, C., Aug 2016, University of Bradford.

    Research output: Book/ReportCommissioned report

  8. 2015
  9. Dual Use in Biology and Biomedicine

    Lentzos, F., Nov 2015, Nuffield Council on Bioethics. 17 p.

    Research output: Book/ReportCommissioned report

  10. 2014
  11. 2013
  12. Hard to Prove: Compliance with the Biological Weapons Convention

    Lentzos, F., Aug 2013, N/A ed. London: King's College London. 18 p.

    Research output: Book/ReportCommissioned report

  13. 2011
  14. 2010
  15. Revision, Acceptability and Context

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

    Research output: Book/ReportBook

  16. 2009
  17. Compendium of proposals to improve the CBM mechanism

    Lentzos, F. & Hamilton, R. A., Jul 2009, N/A ed. London School of Economics. 50 p.

    Research output: Book/ReportCommissioned report

  18. Handbook of quantum logic and quantum structures: quantum logic

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

    Research output: Book/ReportBook

  19. Neural-Symbolic Cognitive Reasoning

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

    Research output: Book/ReportBook

  20. Proof Theory for Fuzzy Logics

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

    Research output: Book/ReportBook

  21. Quantification in Nonclassical Logic

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

    Research output: Book/ReportBook

  22. 2008
  23. A New Approach to Quantum Logic

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

    Research output: Book/ReportBook

  24. Analysis and Synthesis of Logics

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

    Research output: Book/ReportBook

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

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

  27. Second-Order Quantifier Elimination

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

    Research output: Book/ReportBook

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

  30. Handbook of Paraconsistency

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

    Research output: Book/ReportBook

  31. Handbook of Philosophical Logic

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

    Research output: Book/ReportBook

  32. Medieval and Renaissance Logic

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

    Research output: Book/ReportBook

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

  34. 2006
  35. Philosophy of Anthropology and Sociology

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

    Research output: Book/ReportBook

  36. Philosophy of Biology

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

    Research output: Book/ReportBook

  37. Philosophy of Logic

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

    Research output: Book/ReportBook

  38. Philosophy of Physics

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

    Research output: Book/ReportBook

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

  40. Philosophy of Science: Focal Issues

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

    Research output: Book/ReportBook

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

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

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

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

    Research output: Book/ReportBook

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

  46. 2004
  47. 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

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