Dov Gabbay
From Wikipedia, the free encyclopedia
Dov M. Gabbay is Augustus De Morgan Professor of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He is the editor or co-editor of the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science, and the Handbook of Artificial Intelligence and Logic Programming.