| On the temporal analysis of fairness D Gabbay, A Pnueli, S Shelah, J Stavi Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of …, 1980 | 984 | 1980 |
| Temporal logic: mathematical foundations and computational aspects DM Gabbay, I Hodkinson, M Reynolds, M Finger Clarendon Press 1, 653, 1994 | 839 | 1994 |
| Labelled deductive systems DM Gabbay | 707 | 1996 |
| Many-dimensional modal logics: theory and applications DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev Amsterdam; Boston: Elsevier North Holland, 2003 | 705 | 2003 |
| Inconsistency handling in multiperspective specifications ACW Finkelstein, D Gabbay, A Hunter, J Kramer, B Nuseibeh IEEE Transactions on Software Engineering 20 (8), 569-578, 1994 | 666 | 1994 |
| Handbook of philosophical logic DM Gabbay, F Guenthner Kluwer Academic Publishers, 2001 | 606 | 2001 |
| Theoretical foundations for non-monotonic reasoning in expert systems DM Gabbay Logics and models of concurrent systems, 439-457, 1985 | 586 | 1985 |
| Dynamic syntax: The flow of language understanding RM Kempson, W Meyer-Viol, DM Gabbay Blackwell, 2001 | 576 | 2001 |
| Handbook of logic in artificial intelligence and logic programming: Volume 5: Logic programming DM Gabbay, CJ Hogger, JA Robinson Clarendon Press, 1998 | 468 | 1998 |
| Belief revision P Gärdenfors, H Rott, DM Gabbay, CJ Hogger, JA Robinson Computational Complexity 63 (6), 1995 | 465 | 1995 |
| The declarative past and imperative future D Gabbay Temporal logic in specification, 409-448, 1989 | 383 | 1989 |
| Handbook of logic in computer science S Abramsky, D Gabbay, T Maibaurn | 363 | 1992 |
| Semantical investigations in Heyting's intuitionistic logic DM Gabbay Springer Science & Business Media, 2013 | 336 | 2013 |
| Handbook of tableau methods M D'Agostino, DM Gabbay, R Hähnle, J Posegga Springer Science & Business Media, 2013 | 313 | 2013 |
| Fibring logics DM Gabbay Clarendon Press, 1998 | 296 | 1998 |
| N-Prolog: An extension of Prolog with hypothetical implications. I. DM Gabbay, U Reyle The Journal of Logic Programming 1 (4), 319-355, 1984 | 276* | 1984 |
| A logical account of formal argumentation MWA Caminada, DM Gabbay Studia Logica 93 (2-3), 109, 2009 | 275 | 2009 |
| The reach of abduction: Insight and trial D Gabbay, J Woods Informal Logic 25 (3), 289-294, 2005 | 269 | 2005 |
| Adding a temporal dimension to a logic system M Finger, DM Gabbay Journal of Logic, Language and Information 1 (3), 203-233, 1992 | 261 | 1992 |
| Investigations in modal and tense logics with applications to problems in philosophy and linguistics DM Gabbay Springer Science & Business Media, 2012 | 253 | 2012 |
