About
Technology
Issues
FAQ
Search
Journals
High Impact Journals
Most Cited Journals
Most Published Journals
Authors
Most Cited Authors
Most Published Authors
Affiliations
Top Institutions
Top Schools
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Disciplines
›
Logic
›
top-authors
›
most-cited
Logic
70.5K
(top 1%)
papers
927.4K
(top 1%)
citations
278
(top 1%)
h
-index
468
(top 1%)
g
-index
87.6K
all documents
13.0K
doc citations
Top Authors (by article citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Shaocheng Tong
2
306
7
7
1
Tie-Shan Li
1
239
6
6
1
Tieshan Li
1
239
7
6
1
Yongming Li
2
325
9
7
6
Francisco Javier Cabrerizo
1
196
9
9
6
Raquel Urena
1
196
6
1
6
Xinyue Liu
1
196
11
10
6
Witold Pedrycz
1
196
16
10
6
Witold Pedrycz
2
226
6
9
11
Fabrice Correia
1
142
1
1
12
Graçaliz Dimuro
1
132
6
6
12
Benjamin Bedregal
3
197
9
10
14
Sasa Radomirovic
1
127
6
6
14
Sjouke Mauw
1
127
1
1
16
Kit Fine
1
113
4
4
17
Zhichun Yang
1
101
5
6
17
Xinsong
1
101
11
14
19
Fabio Mogavero
1
100
10
6
19
Giuseppe Perelli
1
100
1
1
19
Aniello Murano
1
100
10
6
22
Amparo Vila Miranda
1
96
8
6
22
Daniel Sanchez
2
116
2
2
22
M Dolores Ruiz
1
96
2
2
25
Claudia Stephan
1
94
1
1
25
Klaus Zuberbühler
1
94
12
9
25
Alban Lemasson
1
94
5
1
25
Philippe Schlenker
1
94
6
6
25
Kate Arnold
1
94
1
1
25
Robin J Ryder
1
94
4
4
25
Emmanuel Chemla
1
94
6
11
32
Timothy Williamson
2
136
4
4
33
Edwin D Mares
3
90
3
3
33
Xingjian Jing
1
86
11
19
35
Ju-Sheng Mi
1
82
6
6
36
Tao Hong
1
78
2
2
36
Pu Wang
1
78
1
1
38
Ondrej Krídlo
1
77
6
6
38
Shao-Jun Yang
1
77
1
1
38
Lubomir Antoni
1
77
1
1
41
Jörg Peters
1
74
10
4
41
Jie Lu
1
74
19
21
41
Julwan Hendry Purba
1
74
8
8
41
Guangquan Zhang
1
74
17
14
41
Thien Nguyen
1
74
1
1
46
Sam Coleman
1
73
1
1
47
Wei-Guo Zhang
1
69
12
13
47
Fang Liu
1
69
4
10
49
Shuai Sui
1
67
9
7
49
Yong-ming Li
1
67
14
14
51
Jian Zhou
1
66
8
8
51
Chun Yong Wang
1
66
1
1
51
Bao Qing Hu
3
87
10
10
51
Ke Wang
1
66
3
3
55
Jun-Min Li
1
63
11
13
57
Hongjian Liu
1
62
1
1
57
Hua Ke
2
64
6
6
57
Wei-Yin Fei
1
62
9
8
57
Ismat Beg
1
62
9
8
57
Tabasam Rashid
1
62
9
8
62
Guo Cao
1
61
5
7
63
Dong Qiu
1
60
6
4
63
Richard Bradley
1
60
4
4
65
Yejun Xu
1
59
10
10
66
Lorenz Demey
1
57
7
7
66
Giuseppe Sanfilippo
1
57
1
1
66
Angelo Gilio
1
57
1
1
66
Hans Smessaert
1
57
5
5
66
Vilem Novak
2
89
6
6
71
Valeria Giardino
1
52
1
1
71
Silvia De Toffoli
1
52
1
1
73
Bartek Klin
1
51
1
1
73
Radko Mesiar
4
89
6
8
73
Sławomir Lasota
1
51
6
6
73
Fabio L Spizzichino
1
51
1
1
73
Erich Peter Klement
1
51
4
4
73
Hamed Haddad Khodaparast
1
51
2
2
73
Andrea Stupnanova
1
51
1
1
73
Sondipon Adhikari
1
51
15
13
81
D Marc Kilgour
1
50
13
8
81
Keith W Hipel
1
50
11
9
83
Zhang-Chun Tang
1
49
1
1
83
Yurilev Chalco-Cano
1
49
4
4
85
Meilin Wen
1
48
4
4
85
Rui Kang
1
48
1
2
85
Bin Zhu
1
48
12
14
85
Zhongfeng Qin
1
48
1
3
89
Yong-Jun Liu
1
47
1
1
89
Robin Lewis Cooper
1
47
1
1
89
Javier Fernandez
2
65
6
10
89
Jonathan Ginzburg
1
47
1
1
94
Zhi Liu
1
46
17
10
94
Bosen Lian
1
46
1
1
94
Qingling Zhang
1
46
4
4
97
Xiru Wu
1
45
1
1
97
He Xingxing
1
45
9
6
97
Alexandru Mihai Bica
1
45
1
1
97
Constantin Popescu
1
45
1
1
97
Christopher J G Meacham
1
45
1
1
97
Xingxing He
1
45
9
6
103
Changzhu Zhang
2
88
1
1
103
Gang Feng
3
96
11
13
108
Neil Thapen
3
81
1
1
123
Arnold Beckmann
2
73
1
1
123
Teresa Marques
2
44
4
4
125
Andrea Sorbi
2
41
1
1
125
Joseph S Miller
5
66
4
4
125
Heather Burnett
2
42
1
1
145
Roy T Cook
2
44
7
1
149
David Fernández-Duque
6
83
1
1
149
Sylvia Wenmackers
2
41
3
3
149
Igor Douven
2
41
4
4
155
Henri Prade
2
53
11
8
155
Will Boney
2
57
1
1
163
Thomas Ferguson
3
55
1
1
166
Bor-Sen Chen
2
47
9
6
178
Bin Pang
3
60
6
6
178
Francesco Ricca
3
75
7
7
178
Brendan Balcerak Jackson
2
37
1
1
178
Paul Egré
3
50
1
1
178
Young-Chul Bae
2
53
8
5
188
Stephan Leuenberger
2
38
4
5
188
Luciano Stefanini
2
47
1
1
188
Laerte Sorini
2
47
1
1
188
Barnabas Bede
2
58
1
1
204
Carlos Areces
2
44
4
3
211
Concepción Beatriz Roldán López De Hierro
2
39
4
4
211
Marcelo Esteban Coniglio
5
79
1
1
211
Juan Martinez-Moreno
2
39
6
6
211
Krishnendu Chatterjee
2
51
10
10
211
Antonio Francisco Roldán López de Hierro
2
39
8
8
211
Lucian Coroianu
2
54
5
5
222
Albert Visser
5
64
1
1
222
Elia Zardini
2
28
4
4
222
Sebastián Lozano
2
44
5
9
222
Joan Torrens
2
48
6
10
222
Thomas Müller
3
42
3
3
222
Fernando R Velázquez-Quesada
2
34
4
1
229
Greg Restall
2
38
1
1
229
Filippo Bonchi
2
34
10
10
237
Georg Gottlob
2
26
4
8
237
Andrea Zemankova
2
26
6
6
266
Gábor Czédli
4
68
4
4
266
Giulianella Coletti
2
25
4
4
266
Davide Petturiti
2
25
4
4
266
Barbara Vantaggi
2
25
4
4
266
Serikzhan Badaev
2
26
1
1
266
Julio Michael Stern
2
27
4
4
277
Arnon Avron
3
35
1
1
277
Christian Straßer
7
34
6
7
277
Pablo Cordero
2
26
9
6
277
Manuel Ojeda-Aciego
2
31
11
10
277
Nam Trang
2
27
4
4
298
Peter Schroeder-Heister
4
49
1
1
298
Bernard De Baets
4
44
11
20
298
Dexue Zhang
2
21
1
1
311
Jonas Rafael Becker Arenhart
2
24
2
1
311
Michael Moshier
2
31
1
1
311
Lev Beclemishev
3
52
4
4
311
Yuan Feng
2
36
6
6
311
Julio Rubio
2
24
1
1
311
Zhenzhou Lu
2
31
13
16
311
Katsuhiko Sano
2
32
4
4
311
Walter Carnielli
2
19
4
4
311
Ming-Sheng Ying
2
36
9
12
311
Michal Holčapek
3
39
6
10
311
M Andrew Moshier
2
31
1
1
311
Peter Jipsen
2
31
1
1
346
Frank Stephan
2
19
10
6
346
Umberto Rivieccio
3
32
1
1
346
Dorel Mihet
2
20
4
4
367
Silvio Ghilardi
3
30
6
10
367
Nissim Francez
5
33
3
3
367
Anand Pillay
2
21
4
4
384
Javier Montero
2
25
6
7
384
Michael Hrusak
2
21
4
4
384
Mario Alviano
2
19
1
1
384
J Tinguaro Rodríguez
2
25
6
7
384
Louis Derosset
2
20
1
1
404
Revantha Ramanayake
2
20
1
1
423
João Alexandre Leite
2
14
10
10
423
Andre Nies
4
42
4
4
423
Tarek Sayed Ahmed
2
20
1
1
441
Chris Lambie-Hanson
2
15
1
1
441
Antonin Dvorak
2
20
1
1
441
Mario Benevides
3
23
6
4
441
George A Anastassiou
2
14
1
1
441
Edward Hermann Haeusler
2
18
4
4
441
Jean-Yves Beziau
2
13
1
1
466
Gemma Robles
8
36
1
1
466
Michal Baczynski
2
18
6
6
466
George Gratzer
2
19
4
4
466
José M Méndez
7
34
1
1
466
Fabrizio Riguzzi
2
18
9
7
501
Pablo Cobreros
2
19
3
3
501
Dorota Leszczyńska-Jasion
2
17
1
1
501
David Ripley
2
19
3
4
501
Mariusz Urbanski
2
11
1
1
501
Pantelis E Eleftheriou
2
13
1
1
501
Thomas Ågotnes
4
11
1
1
501
Steffen Hölldobler
2
18
1
1
501
Pierre Simon
3
21
4
4
538
Christoph Kelp
2
16
1
1
538
Alexander Shen
2
15
4
4
538
Emilio Jose Munoz Velasco
2
16
1
1
538
Jeroen P Goudsmit
2
14
1
1
538
Gerhard Schurz
5
32
4
4
538
José Luis Castiglioni
2
17
1
1
538
Miloš S Kurilić
2
20
4
4
538
Tomasz Kowalski
4
20
3
3
581
Keita Yokoyama
2
11
1
1
581
Vincenzo Marra
2
10
4
5
581
Iffat Jahan
2
17
1
1
581
Tomasz Placek
2
9
1
1
581
Kojiro Higuchi
5
21
1
1
616
Robert van Rooij
2
13
1
1
616
Frank Zenker
3
13
4
3
616
Alexander Reutlinger
2
15
7
8
616
Evgeny I Khukhro
2
8
5
6
616
Wolfgang Faber
2
11
1
1
616
Ullrich Hustadt
2
13
1
1
616
Juan Fernández-Sánchez
2
14
7
8
616
Clare Dixon
2
13
8
10
616
Susana Montes
3
23
6
12
616
Susana Díaz Vázquez
2
15
1
1
616
Taeho Hong
2
10
1
1
616
Davide Martinetti
2
15
1
1
616
Ricardo Rocha
2
11
7
7
676
Tommaso Moraschini
2
12
4
4
676
Giorgio Laguzzi
2
12
1
1
676
Monica Patriche
2
11
4
4
676
Leonardo Cabrer
2
8
4
5
710
Christopher Menzel
2
10
4
4
710
Saharon Shelah
5
14
4
4
710
Pavel Naumov
3
9
3
3
710
Edward N Zalta
2
10
1
1
710
Suryo Adhi Wibowo
2
7
1
1
764
Daniel Cohnitz
2
6
4
4
764
Michael Franke
2
6
2
3
764
William Roche
2
7
4
5
764
John T Baldwin
2
7
1
1
764
Valeria de Paiva
3
6
6
4
764
Heribert Vollmer
2
7
1
1
764
Alessandro Menti
2
5
3
3
832
S Mojtaba Mojtahedi
2
4
1
1
832
Amílcar C Sernadas
2
5
1
1
832
Henry Towsner
2
4
4
4
832
Dug Hun Hong
2
7
7
7
832
João Rasga
3
6
1
1
832
Alexander Berenstein
2
7
1
1
832
Manuel António Martins
3
10
2
2
832
Cristina Sernadas
3
6
1
1
832
Itay Kaplan
3
8
4
4
832
Arthur W Apter
2
5
4
4
832
Enrique Casanovas
2
4
1
1
832
Stefan Woltran
2
7
7
12
832
Seyed-Mohammad Bagheri
2
7
1
1
832
Mohammad Ardeshir
2
4
1
1
887
Frederik Van De Putte
2
5
1
1
887
Paweł Maślanka
2
5
1
1
887
Nathanael L Ackerman
2
3
1
1
887
James H Schmerl
3
5
1
1
887
Bartosz Zielinski
2
5
4
4
887
Luca Moretti
2
3
1
1
961
Holger
2
3
1
1
961
Răzvan Diaconescu
2
3
8
10
961
Lee Naish
2
2
1
1
1030
Sergey A Solovyov
2
1
4
5
1030
Rafal Urbaniak
3
2
3
4
1030
Andrzej Tarlecki
2
2
6
10
1030
Heron Loban
2
1
1
1
1098
Michael Winter
2
0
10
10
1098
Leendert van der Torre
2
0
12
12
site/software ©
exaly
; All materials licenced under
CC by-SA
.