Dov M. Gabbay

Proceedings of 16th European Conference on Artificial Intelligence, ECAI 2004

Dov M. Gabbay, A d'Avila Garcez, Luís C. Lamb · 2004 · 756 citations

Computing, Computer Science, Artificial Intelligence +11

On the temporal analysis of fairness

Dov M. Gabbay, Amir Pnueli, Saharon Shelah et al. · 1980 · 731 citations

Computing, Computer Science, Formal Methods +12

A Logical Account of Formal Argumentation

Martin Caminada, Dov M. Gabbay · Studia Logica · 2009 · 273 citations · Full text

Computing, Computer Science, Philosophy +14

Adding a temporal dimension to a logic system

Marcelo Finger, Dov M. Gabbay · Journal of Logic Language and Information · 1992 · 188 citations

Humanities, Computer Science, Systems Engineering +14

Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic.

John Slaney, Dov M. Gabbay, F Guenther · The Philosophical Quarterly · 1986 · 112 citations

Humanities, Philosophy, Logic +11