dov Gabbay

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.{{cite web |title=Official Website | date=2019-01-25 | url=http://www.ifcolog.net | access-date=2020-12-26}}{{cite web | url=https://archive.today/20120805094923/http://www.charity-commission.gov.uk/Showcharity/RegisterOfCharities/CharityWithoutPartB.aspx?RegisteredCharityNumber=1112512&SubsidiaryNumber=0 | title=Charity overview }} 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.{{Cite web|url=http://www.collegepublications.co.uk/about/|title=College Publications - About Us|website=www.collegepublications.co.uk}} A two volume Festschrift in his honor was published in 2005 by College Publications.{{Cite book|last=Sergei Artemov, Artur d'Avila Garcez, Luís C. Lamb, Howard Barringer and John Woods|title=We Will Show Them! Essays in Honour of Dov Gabbay. Vol. 1, Vol. 2.|publisher=International Federation for Computational Logic, College Publications|year=2005|isbn=9781904987123|location=London}}

• 1968–1970 – Instructor, Hebrew University of Jerusalem
• 1970–1973 – Assistant Professor of Philosophy, Stanford University
• 1973–1975 – Associate Professor of Philosophy, Stanford University
• 1975–1977 – Associate Professor, Bar-Ilan University
• 1977–1983 – Lady Davis Professor of Logic, Bar-Ilan University
• 1983–1998 – Professor of Computing, Imperial College of Science, Technology and Medicine, London
• 1998–present – Professor of Computing, Professor of Philosophy, Augustus De Morgan Professor of Logic, King's College, London
• 2009–present – Special Professor Bar-Ilan University
• 2015–2017 – Professor of Logics, Ashkelon Academic College

{{refbegin}}

• Samson Abramsky, Dov M. Gabbay, T.S.E. Maibaum. [https://global.oup.com/academic/product/handbook-of-logic-in-computer-science-9780198537625?cc=br&lang=en& Handbook of Logic in Computer Science], Vols.1-5. Clarendom Press, Oxford, 1992–2000.
• Artur S. d'Avila Garcez, Luis C. Lamb, Dov Gabbay. [https://books.google.com/books?id=M7bYqAPqdyAC&q=neural-symbolic Neural-Symbolic Cognitive Reasoning]. Springer, 2009. {{ISBN|978-3540732457}}
• Michael D. Fisher, Dov M. Gabbay, Lluis Vila (eds). [https://books.google.com/books?id=Ajsvo6jWNhgC&dq=info:NlUp6Ji35C4J:scholar.google.com&pg=PP1 Handbook of temporal reasoning in artificial intelligence.] Elsevier, 2005.
• Dov M. Gabbay: [https://link.springer.com/chapter/10.1007/978-3-642-82453-1_15#citeas Theoretical foundations for non-monotonic reasoning in expert systems]. In: Apt K.R. (ed) Logics and Models of Concurrent Systems. NATO ASI Series (Series F: Computer and Systems Sciences), vol 13. Springer, Berlin, Heidelberg, pp. 439–457, 1985.
• Dov M. Gabbay (ed). [https://global.oup.com/academic/product/what-is-a-logical-system-9780198538592?cc=br&lang=en& What is a logical system?] Studies in Logic and Computation, Oxford University Press, 1994.
• Dov M. Gabbay. [https://books.google.com/books?id=DANMyUtzdrIC Labelled Deductive Systems, vol.1.] Clarendon Press, Oxford, 1996. {{ISBN|9780198538332}}
• Dov M. Gabbay. [https://books.google.com/books?id=mpA1uUV-uYsC Fibring Logics.] Clarendon Press, Oxford, 1998. {{ISBN|9780191590108}}
• Dov M. Gabbay, Ian Hodkinson, Mark Reynolds: Temporal Logic: [https://books.google.com/books?id=oVEZAQAAIAAJ Mathematical Foundations and Computational Aspects, vol. 1.] Clarendon Press, Oxford, 1994. {{ISBN|978-0198537694}}
• Dov M. Gabbay, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: [https://www.elsevier.com/books/many-dimensional-modal-logics-theory-and-applications/kurucz/978-0-444-50826-3 Many-dimensional modal logics: theory and applications]. North-Holland, 2003.
• Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi. [https://dl.acm.org/doi/10.1145/567446.567462 On the temporal analysis of fairness.] POPL'80: Proceedings of the 7th SIGPLAN-SIGACT ACM Annual Symposium on Principles of Programming Languages, January, 1980, pages 163–173, ACM Press.
• Dov M. Gabbay and John Woods. [https://books.google.com/books?id=x2sqXzdmn8MC&dq=agenda+relevance&pg=PA456 Agenda Relevance: A Study in Formal Pragmatics]. North-Holland, 2003.
• Ruth M. Kempson, Wilfried Meyer-Viol, Dov M. Gabbay: [https://www.wiley.com/en-us/Dynamic+Syntax%3A+The+Flow+of+Language+Understanding-p-9780631176121 Dynamic syntax: The flow of language understanding] {{Webarchive|url=https://web.archive.org/web/20190527073632/https://www.wiley.com/en-us/Dynamic%2BSyntax:%2BThe%2BFlow%2Bof%2BLanguage%2BUnderstanding-p-9780631176121 |date=27 May 2019 }}. Blackwell, 2000. {{ISBN|978-0-631-17612-1}}

{{refend}}

{{reflist}}

• [https://web.archive.org/web/19991005015413/http://www.dcs.kcl.ac.uk/staff/dg/ Home page]

{{Authority control}}

{{DEFAULTSORT:Gabbay, Dov}}

Category:1945 births

Category:Living people

Category:20th-century Israeli philosophers

Category:Academics of King's College London

Category:British Jews

Category:British logicians

Category:British philosophers

Category:Jewish philosophers

Category:Hebrew University of Jerusalem alumni

Category:Stanford University faculty

Category:Academic staff of Bar-Ilan University

Category:Academics of Imperial College London

Category:Modal logicians