×

zbMATH — the first resource for mathematics

Gabbay, Dov M.

Compute Distance To:
Author ID: gabbay.dov-m
Published as: Gabbay, D.; Gabbay, D. M.; Gabbay, Dov; Gabbay, Dov M.; Gabbay, Dov. M.
Homepage: https://www.kcl.ac.uk/nms/depts/informatics/people/atoz/gabbayd.aspx
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 340 Publications since 1971, including 96 Books
Biographic References: 5 Publications
all top 5

Co-Authors

86 single-authored
32 Woods, John
17 Günthner, Franz
16 van der Torre, Leendert W. N.
13 Olivetti, Nicola
12 Schlechta, Karl
10 D’Agostino, Marcello
9 Barringer, Howard
9 Boella, Guido
9 d’Avila Garcez, Artur S.
9 Metcalfe, George
9 Rodrigues, Odinaldo T.
8 Finger, Marcelo
8 Ohlbach, Hans Jürgen
7 Broda, Krysia B.
6 Engesser, Kurt
6 Genovese, Valerio
6 Lamb, Luís C.
6 Russo, Alessandra M.
6 Shehtman, Valentin B.
5 Abraham, Michael
5 Abramsky, Samson
5 de Queiroz, Ruy J. G. B.
5 Hodkinson, Ian Martin
5 Hogger, Christopher John
5 Kempson, Ruth
5 Lehmann, Daniel J.
5 Robinson, John Alan
5 Schild, Uri
5 Villata, Serena
4 Fisher, Michael E.
4 Hunter, Anthony
4 Nossum, Rolf T.
4 Pirri, Fiora
4 Reyle, Uwe
4 Reynolds, Mark Alexander
4 Smets, Philippe
4 Szałas, Andrzej
3 de Rijke, Maarten
3 Gabbay, Murdoch James
3 Gough, Graham
3 Maibaum, Tomas S. E.
3 Parent, Xavier
3 Siekmann, Jörg H.
3 Zakharyaschev, Michael Viktorovich
2 Amati, Gianni
2 Barker, Steve
2 Barwise, Kenneth Jon
2 Bochman, Alexander
2 Caminada, Martin W. A.
2 Carlucci Aiello, Luigia
2 Carnielli, Walter Alexandre
2 Demri, Stéphane P.
2 Giordano, Laura
2 Goncharov, Sergeĭ Savost’yanovich
2 Governatori, Guido
2 Grossi, Davide
2 Hähnle, Reiner
2 Hartonas, Chrysafis
2 Johnson, Ralph H.
2 Kibble, Rodger
2 Kruse, Rudolf
2 Maibaum, Thomas S. E.
2 Marcelino, Sérgio
2 Martelli, Alberto
2 Nonnengart, Andreas
2 Owens, Richard
2 Posegga, Joachim
2 Rispoli, Daniele
2 Sun, Xin
2 Wansing, Heinrich Theodor
1 Amir, Amihood
1 Baaz, Matthias
1 Baniasadi, Zohreh
1 Baroni, Pietro
1 Basin, David A.
1 Beckert, Bernhard
1 Belfer, I.
1 Belfer, R.
1 Benzmüller, Christoph Ewald
1 Besnard, Philippe
1 Bessos, Mai Ben Adar
1 Béziau, Jean-Yves
1 Bicarregui, Juan C.
1 Booth, Richard F.
1 Brink, Chris
1 Broersen, Jan M.
1 Brough, Derek
1 Ciabattoni, Agata
1 Coniglio, Marcelo Esteban
1 Crochemore, Maxime
1 Csirmaz, László
1 de Boer, Mathijs
1 de Jongh, Dick H. J.
1 de Oliveira, Anjolina Grisi
1 Dimitrakos, Theo
1 Dörre, Jochen
1 Dubois, Didier
1 Fermé, Eduardo Leopoldo
1 Fisher, Matthew P. A.
1 Gammaitoni, Loïc
...and 61 more Co-Authors
all top 5

Journals

29 Studia Logica
19 Logic Journal of the IGPL
12 The Journal of Symbolic Logic
12 Handbook of Philosophical Logic
11 Journal of Logic and Computation
9 Annals of Mathematics and Artificial Intelligence
8 Journal of Logic, Language and Information
5 Journal of Philosophical Logic
5 Journal of Applied Logic
5 Oxford Logic Guides
5 Synthese Library
5 Studies in Logic (London)
4 The Journal of Logic Programming
4 Journal of Applied Non-Classical Logics
4 Logica Universalis
4 The Review of Symbolic Logic
3 Synthese
3 Theoretical Computer Science
3 Theoria
3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
3 Journal of the IGPL
3 Lecture Notes in Computer Science
2 Artificial Intelligence
2 Israel Journal of Mathematics
2 Annals of Mathematical Logic
2 History and Philosophy of Logic
2 Information and Computation
2 Journal of Automated Reasoning
2 Archive for Mathematical Logic
2 Bulletin of the IGPL
2 Mathware & Soft Computing
2 Studies in Logic and the Foundations of Mathematics
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Computers & Mathematics with Applications
1 International Journal of Theoretical Physics
1 Fundamenta Mathematicae
1 Linguistics and Philosophy
1 Logique et Analyse. Nouvelle Série
1 Notre Dame Journal of Formal Logic
1 Theoria. Segunda Epoca
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 The Journal of Artificial Intelligence Research (JAIR)
1 Topoi
1 RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas
1 ACM Transactions on Computational Logic
1 Advances in Logic
1 Logic, Epistemology, and the Unity of Science
1 Texts in Computing

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline