Dov Gabbay
Dov Gabbay
Bar Ilan Univ. Kings College London, Univ of Luxembourg
Email verificata su ext.uni.lu - Home page
TitoloCitata daAnno
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
9771980
Temporal Logic Mathematical Foundations and Computational Aspects
DM Gabbay, I Hodkinson, M Reynolds
8131994
Labelled deductive systems
DM Gabbay
7011996
Many-dimensional modal logics: theory and applications
DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev
Amsterdam; Boston: Elsevier North Holland, 2003
7002003
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
6631994
Handbook of philosophical logic
DM Gabbay, F Guenthner
Kluwer Academic Publishers, 2001
6152001
Theoretical foundations for non-monotonic reasoning in expert systems
DM Gabbay
Logics and models of concurrent systems, 439-457, 1985
5891985
Dynamic syntax: The flow of language understanding
RM Kempson, W Meyer-Viol, DM Gabbay
Blackwell, 2001
5782001
Belief revision
P Grdenfors, H Rott, DM Gabbay, CJ Hogger, JA Robinson
Computational Complexity 63, 6, 1995
4631995
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
DM Gabbay, CJ Hogger, JA Robinson
Clarendon Press, 1998
4561998
The declarative past and imperative future
D Gabbay
Temporal logic in specification, 409-448, 1989
3831989
Handbook of logic in computer science
S Abramsky, D Gabbay, T Maibaurn
351*1992
Semantical investigations in Heyting's intuitionistic logic
DM Gabbay
Springer Science & Business Media, 2013
3372013
Handbook of tableau methods
M D'Agostino, DM Gabbay, R Hhnle, J Posegga
Springer Science & Business Media, 2013
3112013
Fibring logics
DM Gabbay
Clarendon Press, 1998
2961998
N-Prolog: An extension of Prolog with hypothetical implications. I.
DM Gabbay, U Reyle
The Journal of Logic Programming 1 (4), 319-355, 1984
275*1984
A logical account of formal argumentation
MWA Caminada, DM Gabbay
Studia Logica 93 (2-3), 109, 2009
2662009
The reach of abduction: Insight and trial
D Gabbay, J Woods
Informal Logic 25 (3), 289-294, 2005
2662005
Adding a temporal dimension to a logic system
M Finger, DM Gabbay
Journal of Logic, Language and Information 1 (3), 203-233, 1992
2601992
Investigations in modal and tense logics with applications to problems in philosophy and linguistics
DM Gabbay
Springer Science & Business Media, 2012
2492012
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20