Dov Gabbay

Affiliations: 
Computing Imperial College London, London, England, United Kingdom 
Google:
"Dov Gabbay"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Moghaz D, Hacohen-Kerner Y, Gabbay D. (2019) Text Mining for Evaluating Authors' Birth and Death Years Acm Transactions On Knowledge Discovery From Data. 13: 7
D'Agostino M, Finger M, Gabbay D. (2013) Semantics and proof-theory of depth bounded Boolean logics Theoretical Computer Science. 480: 43-68
Benzmüller C, Gabbay D, Genovese V, et al. (2012) Embedding and automating conditional logics in classical higher-order logic Annals of Mathematics and Artificial Intelligence. 66: 257-271
Gabbay D, Marcelino S. (2012) Global view on reactivity: switch graphs and their logics Annals of Mathematics and Artificial Intelligence. 66: 131-162
Gabbay D. (2012) Completeness theorems for reactive modal logics Annals of Mathematics and Artificial Intelligence. 66: 81-129
Gabbay D. (2012) Introducing reactive modal tableaux Annals of Mathematics and Artificial Intelligence. 66: 55-79
Gabbay D. (2012) Introducing reactive Kripke semantics and arc accessibility Annals of Mathematics and Artificial Intelligence. 66: 7-53
Finger M, Gabbay D. (2006) Cut and Pay Journal of Logic, Language and Information. 15: 195-218
Metcalfe G, Olivetti N, Gabbay D. (2005) Sequent and hypersequent calculi for abelian and łukasiewicz logics Acm Transactions On Computational Logic. 6: 578-613
Williamson J, Gabbay D. (2003) Editorial: special issue on combining probability and logic Journal of Applied Logic. 1: 135-138
See more...