Dov M. Gabbay ( / ɡ ə ˈ b eɪ / ; nacido el 23 de octubre de 1945) es un lógico israelí. Es profesor emérito de Lógica Augustus De Morgan en el Grupo de Lógica , Lenguaje y Computación , Departamento de Ciencias de la Computación , King's College de Londres .
Gabbay es autor de más de cuatrocientos cincuenta artículos de investigación y más de treinta monografías de investigación. Es editor de varias revistas internacionales y de muchas obras de referencia y manuales de lógica, incluido el Handbook of Philosophical Logic (con Franz Guenthner ), el Handbook of Logic in Computer Science] (con Samson Abramsky y TSE Maibaum ), y el Handbook de Lógica en Inteligencia Artificial y Programación Lógica (con CJ Hogger y JA Robinson ).
Es bien conocido por su trabajo pionero sobre lógica en informática e inteligencia artificial, especialmente la aplicación de lógicas temporales (ejecutables) en informática, en particular verificación formal , los fundamentos lógicos del razonamiento no monótono y la inteligencia artificial, la introducción de lógicas fibring y la teoría de los sistemas deductivos etiquetados.
Es presidente y fundador de varias conferencias internacionales, ejecutivo de la Fundación Europea de Lógica, Lenguaje e Información y presidente del Grupo Internacional de Lógica IGPL. Es fundador y copresidente de la Federación Internacional de Lógica Computacional. [2] [3] También es uno de los cuatro fundadores y miembro del consejo durante muchos años de FoLLI, la Asociación de Lógica, Lenguaje e Información, de la que ahora está jubilado. Sigue siendo miembro vitalicio.
Es cofundador con Jane Spurr de College Publications, una editorial académica de nueva creación sin fines de lucro, que pretende competir con las principales editoriales costosas a precios asequibles y que no requiere la asignación de derechos de autor por parte de los autores. [4] Un Festschrift de dos volúmenes en su honor fue publicado en 2005 por College Publications. [5]