Dov Gabbay
Dov M. Gabbay ( born October 23, 1945) is a logician and Professor ( erem. ) at King's College London. Gabbay is particularly concerned with logic, computer science and artificial intelligence ( AI).
The logician began his scientific career at the Hebrew University of Jerusalem (1968-1970) and in 1970 for the first time an assistant professor of philosophy at Stanford. In 1975, as an Associate Professor Gabbay to the Bar-Ilan University, where he became in 1977 professor of logic before he joined in 1983 as Professor of Computer Science at Imperial College, London. Since 1998, the scientist Augustus De Morgan Professor of Logic at King's College in London.
The scientist has developed over 400 mostly widely rezipierte scientific contributions, such as the separation theorem and is the editor of several peer reivew journals and more than 50 manuals on logic and their application fields such as computer science and AI. Additionally, he sits several influential industry conferences and organizations, such as the European Foundation of Logic Language and Information, before and has the International Federation of Computational Logic with justified.
Works (selection)
- Model Theory for Intuitionsitic logic, Journal of Mathematical Logic and Foundations of Mathematics, vol 18, pp. 49-54, 1972.
- Investigations in Modal and Tense Logics with Applications, Synthesis, Vol 92, D. Reidel, 1976.
- With A. Garcez and K. Broda: Neural- Symbolic Learning Systems: Foundations and Applications, Springer Verlag, 2002.
- With A. Kurucz, F. Wolter and M. Zakhryaschev: Many Dimensional Modal Logics, Elsevier, Studies in Logic, 2003.