Dov M. Gabbay (; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan

Professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who pr ...

Emeritus ''Emeritus'' (; female: ''emerita'') is an adjective used to designate a retired chair, professor, pastor, bishop, pope, director, president, prime minister, rabbi, emperor, or other person who has been "permitted to retain as an honorary title ...

Logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

at the Group of

Language Language is a structured system of communication. The structure of a language is its grammar and the free components are its vocabulary. Languages are the primary means by which humans communicate, and may be conveyed through a variety of met ...

and

Computation Computation is any type of arithmetic or non-arithmetic calculation that follows a well-defined model (e.g., an algorithm). Mechanical or electronic devices (or, historically, people) that perform computations are known as ''computers''. An es ...

, Department of

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

King's College London King's College London (informally King's or KCL) is a public research university located in London, England. King's was established by royal charter in 1829 under the patronage of King George IV and the Duke of Wellington. In 1836, King's ...

Work

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 Franz Guenthner is a German linguist who is a professor of Computational Linguistics at the Center for Information and Language Processing (CIS) at the Ludwig-Maximilians-Universität (LMU) in Munich, Germany. His background is in philosophy and l ...

), the ''Handbook of Logic in Computer Science]'' (with

Samson Abramsky Samson Abramsky (born 12 March 1953) is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at the University of Oxford, from 2000 to 2021. He has made contributions to t ...

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 logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...

s in computer science, in particular

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal metho ...

, the logical foundations of

non-monotonic reasoning A non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which re ...

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. 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 Academic publishing is the subfield of publishing which distributes academic research and scholarship. Most academic work is published in academic journal articles, books or theses. The part of academic written output that is not formally publ ...

, intended to compete with major expensive publishers at affordable prices, and not requiring

copyright assignment A copyright is a type of intellectual property that gives its owner the exclusive right to copy, distribute, adapt, display, and perform a creative work, usually for a limited time. The creative work may be in a literary, artistic, education ...

from authors. A two volume ''

Festschrift In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the h ...

'' in his honor was published in 2005 by College Publications.

Regular positions

* 1968–1970 – Instructor,

Hebrew University of Jerusalem The Hebrew University of Jerusalem (HUJI; he, הַאוּנִיבֶרְסִיטָה הַעִבְרִית בִּירוּשָׁלַיִם) is a public research university based in Jerusalem, Israel. Co-founded by Albert Einstein and Dr. Chaim Weiz ...

* 1970–1973 – Assistant Professor of Philosophy,

Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...

* 1973–1975 – Associate Professor of Philosophy, Stanford University * 1975–1977 – Associate Professor,

Bar-Ilan University Bar-Ilan University (BIU, he, אוניברסיטת בר-אילן, ''Universitat Bar-Ilan'') is a public research university in the Tel Aviv District city of Ramat Gan, Israel. Established in 1955, Bar Ilan is Israel's second-largest academic i ...

* 1977–1983 – Lady Davis Professor of Logic, Bar-Ilan University * 1983–1998 – Professor of Computing,

Imperial College of Science, Technology and Medicine Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cu ...

, 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–present – Professor of Logics,

Ashkelon Academic College Ashkelon Academic College ( he, המכללה האקדמית אשקלון, ''HaMiklala HaAkademit Ashkelon'') is a public college in Ashkelon, Israel. The college has two faculties The School of Economics and Social Work for management, logistics, b ...

Selected writings

Dov M. Gabbay Dov M. Gabbay (; 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. Work Gabbay has authored ...

, T.S.E. Maibaum.br>Handbook of Logic in Computer Science
Vols.1-5. Clarendom Press, Oxford, 1992–2000. * Artur S. d'Avila Garcez, Luis C. Lamb, Dov Gabbay
Neural-Symbolic Cognitive Reasoning
Springer, 2009. *Michael D. Fisher, Dov M. Gabbay, Lluis Vila (eds)
Handbook of temporal reasoning in artificial intelligence.
Elsevier, 2005. *Dov M. Gabbay
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)
What is a logical system?
Studies in Logic and Computation, Oxford University Press, 1994. *Dov M. Gabbay
Labelled Deductive Systems, vol.1.
Clarendon Press, Oxford, 1996. * Dov M. Gabbay

Clarendon Press, Oxford, 1998. *Dov M. Gabbay, Ian Hodkinson, Mark Reynolds: Temporal Logic
Mathematical Foundations and Computational Aspects, vol. 1.
Clarendon Press, Oxford, 1994. *Dov M. Gabbay, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Many-dimensional modal logics: theory and applications
North-Holland, 2003. *Dov M. Gabbay,

Amir Pnueli Amir Pnueli ( he, אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Biography Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and rec ...

Saharon Shelah Saharon Shelah ( he, שהרן שלח; born July 3, 1945) is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey. Biography Shelah was born in Jerusalem on July 3, ...

, Jonathan Stavi
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
Agenda Relevance: A Study in Formal Pragmatics
North-Holland, 2003. * Ruth M. Kempson, Wilfried Meyer-Viol, Dov M. Gabbay
Dynamic syntax: The flow of language understanding
Blackwell, 2000.

References

External links

Home page
{{DEFAULTSORT:Gabbay, Dov 1945 births Living people 20th-century Israeli philosophers Academics of King's College London British Jews British logicians British philosophers Jewish philosophers Hebrew University of Jerusalem alumni Stanford University faculty Bar-Ilan University faculty Academics of Imperial College London