Dov Gabbay

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Dov M. Gabbay
Born (1945-10-23) October 23, 1945 (age 77)
EducationB.Sc. (Mathematics and Physics) 1966, Hebrew University, Jerusalem
M.Sc. (Logic) 1967, Hebrew University
Ph.D. (Logic) 1969, Hebrew University
Known forGabbay's separation theorem, foundations for non-monotonic reasoning in expert systems
AwardsForeign Fellow of the Royal Society of Canada (FRSC)
Fellow of the Alexander von Humboldt Foundation (FAvH)
Fellow of the Royal Society of Arts (FRSA)
Docteur Honoris Causa, Université Paul Sabatier, Toulouse III
Doctor Honoris Causa, University of Agder, Norway
Scientific career
FieldsComputer science
InstitutionsKing's College London
Bar-Ilan University
University of Luxembourg
University of Manchester
Imperial College London
Université Paul Sabatier
Ashkelon Academic College
ThesisNon-classical Logics (1969)
Doctoral advisorAzriel Lévy
Michael O. Rabin[1]

Dov M. Gabbay (/ɡəˈb/; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.


Gabbay has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international journals, and of many reference works and handbooks of logic, including the Handbook of Philosophical Logic (with Franz Guenthner), the Handbook of Logic in Computer Science] (with Samson Abramsky and T. S. E. Maibaum), and the Handbook of Logic in Artificial Intelligence and Logic Programming (with C.J. Hogger and J.A. Robinson).

He is well-known for pioneering work on logic in computer science and artificial intelligence, especially the application of (executable) temporal logics in computer science, in particular formal verification, the logical foundations of non-monotonic reasoning and artificial intelligence, the introduction of fibring logics and the theory of labelled deductive systems.

He is Chairman and founder of several international conferences, executive of the European Foundation of Logic, Language and Information and President of the International IGPL Logic Group. He is founder, and joint President of the International Federation of Computational Logic.[2][3] He is also one of the four founders and council member for many years of FoLLI, the Association of Logic, Language and Information, from which he is now retired. He remains a life member.

He is co-founder with Jane Spurr of College Publications, a not-for-profit, start-up academic publisher, intended to compete with major expensive publishers at affordable prices, and not requiring copyright assignment from authors.[4] A two volume Festschrift in his honor was published in 2005 by College Publications.[5]

Regular positions[edit]

Selected writings[edit]


  1. ^ Dov Gabbay at the Mathematics Genealogy Project
  2. ^ "Official Website". 25 January 2019. Retrieved 26 December 2020.
  3. ^ [1][dead link]
  4. ^ "College Publications - About Us".
  5. ^ Sergei Artemov, Artur d'Avila Garcez, Luís C. Lamb, Howard Barringer and John Woods (2005). We Will Show Them! Essays in Honour of Dov Gabbay. Vol. 1, Vol. 2. London: International Federation for Computational Logic, College Publications. ISBN 9781904987123.{{cite book}}: CS1 maint: multiple names: authors list (link)

External links[edit]