Dov M. Gabbay, born on October 26, 1945, is an Israeli logician and Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs, and is editor of several international journals and of many reference works and handbooks of logic, including the Handbook of Philosophical Logic. He is well known for pioneering work on logic in computer science and artificial intelligence, especially the application of executable temporal logics in formal verification, the logical foundations of non-monotonic reasoning, the introduction of fibring logics and the theory of labelled deductive systems.
Facts
Connections
In Branch
Source Wikipedia: Dov Gabbay
Proofs Credited
Source Gabbay's separation theorem - Wikipedia
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikipedia: Dov Gabbay
LeadQuote, Lead
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's separation theorem - Wikipedia
Proofs Credited: Gabbay's Separation Theorem, Lead sentence, attributionQuote, Proofs Credited: Gabbay's Separation Theorem, Lead sentence, attribution
stated and proven by Dov Gabbay
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.