Dov Gabbay

Dov Gabbay

Université du Luxembourg - Esch-sur-Alzette / Luxembourg
Engineering & Technology / Computer Science
AD Scientific Index ID: 4304700
University of Luxembourg Universität Luxemburg
person_outline Dov Gabbay's MOST POPULAR ARTICLES
1-) Temporal logic: mathematical foundations and computational aspectsDM Gabbay, I Hodkinson, MA Reynolds1439*1994
2-) On the temporal analysis of fairnessD Gabbay, A Pnueli, S Shelah, J StaviProceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of …, 198010761980
3-) Many-dimensional modal logics: theory and applicationsDM Gabbay8132003
4-) Handbook of philosophical logicDM Gabbay, F GuenthnerKluwer academic 6, 293-393, 20027922002
5-) Labelled deductive systemsDM GabbayOxford university press, 19967781996