×
Author ID: gabbay.dov-m Recent zbMATH articles by "Gabbay, Dov M."
Published as: Gabbay, Dov M.; Gabbay, Dov; Gabbay, D. M.; Gabbay, D.; Gabbay, Dov. M.
Homepage: https://www.kcl.ac.uk/nms/depts/informatics/people/atoz/gabbayd.aspx
External Links: MGP · Wikidata · dblp · GND · IdRef
all top 5

Co-Authors

89 single-authored
33 Woods, John
21 van der Torre, Leendert W. N.
18 Günthner, Franz
15 Schlechta, Karl
14 Olivetti, Nicola
11 D’Agostino, Marcello
10 Barringer, Howard
10 Rodrigues, Odinaldo T.
9 Boella, Guido
9 d’Avila Garcez, Artur S.
9 Metcalfe, George
8 Finger, Marcelo
8 Ohlbach, Hans Jürgen
7 Broda, Krysia B.
7 Schild, Uri
6 Abraham, Michael
6 Engesser, Kurt
6 Genovese, Valerio
6 Lamb, Luís C.
6 Maibaum, Thomas Stephen Edward
6 Russo, Alessandra M.
6 Shehtman, Valentin B.
5 Abramsky, Samson
5 De Queiroz, Ruy José Guerra Barretto
5 Fisher, Michael
5 Gabbay, Michael J.
5 Hodkinson, Ian Martin
5 Hogger, Christopher John
5 Kampik, Timotheus
5 Kempson, Ruth
5 Lehmann, Daniel J.
5 Parent, Xavier
5 Robinson, John Alan
5 Villata, Serena
4 Hunter, Anthony
4 Nossum, Rolf Tomas
4 Pirri, Fiora
4 Reyle, Uwe
4 Reynolds, Mark Alexander
4 Siekmann, Jörg H.
4 Smets, Philippe
4 Szałas, Andrzej
3 de Rijke, Maarten
3 Giacomin, Massimiliano
3 Giordano, Laura
3 Gough, Graham
3 Grossi, Davide
3 Martelli, Alberto
3 van Benthem, Johan F. A. K.
3 Zakharyaschev, Michael Viktorovich
2 Amati, Gianni
2 Åqvist, Lennart
2 Barker, Steve
2 Barwise, Kenneth Jon
2 Bochman, Alexander
2 Broersen, Jan M.
2 Caminada, Martin W. A.
2 Carlucci Aiello, Luigia
2 Carnielli, Walter Alexandre
2 Demri, Stéphane P.
2 Goncharov, Sergeĭ Savost’yanovich
2 Governatori, Guido
2 Hähnle, Reiner
2 Hartonas, Chrysafis
2 Horty, John F.
2 Johnson, Ralph H.
2 Kibble, Rodger
2 Kruse, Rudolf
2 Marcelino, Sérgio
2 Nonnengart, Andreas
2 Nute, D.
2 Owens, Richard
2 Posegga, Joachim
2 Rienstra, Tjitze
2 Rispoli, Daniele
2 Rozenberg, Gadi
2 Rydeheard, David E.
2 Sartor, Giovanni
2 Simari, Guillermo Ricardo
2 Sun, Xin
2 Sundholm, Göran
2 van Dalen, Dirk
2 van der Meyden, Ron
2 Viganò, Luca
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 Bencivenga, Ermanno
1 Bentzen, Bruno
1 Benzmüller, Christoph Ewald
1 Bernays, Paul
1 Besnard, Philippe
1 Bessos, Mai Ben Adar
1 Béziau, Jean-Yves
...and 115 more Co-Authors
all top 5

Serials

30 Studia Logica
19 Logic Journal of the IGPL
12 The Journal of Symbolic Logic
12 Journal of Logic and Computation
12 Handbook of Philosophical Logic
11 Handbook of the History of Logic
9 Annals of Mathematics and Artificial Intelligence
8 Journal of Logic, Language and Information
6 Applied Logic Series
5 Journal of Philosophical Logic
5 Journal of Applied Logic
5 Oxford Logic Guides
5 Synthese Library
5 Studies in Logic (London)
5 Logica Universalis
5 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications
5 Cognitive Technologies
4 The Journal of Logic Programming
4 Journal of Applied Non-Classical Logics
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 International Journal of Approximate Reasoning
2 Archive for Mathematical Logic
2 Bulletin of the IGPL
2 Mathware & Soft Computing
2 Studies in Logic and Computation
2 Studies in Logic and the Foundations of Mathematics
2 International Mathematical Series (New York)
2 A Practical Logic of Cognitive Systems
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 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 North-Holland Linguistic Series
1 Advances in Logic
1 Studies in Logic and Practical Reasoning
1 Logic, Epistemology, and the Unity of Science
1 Foundations of Artificial Intelligence
1 Texts in Computing
1 Texts in Logic and Games
1 Tributes
1 Handbook of the Philosophy of Science

Publications by Year

Citations contained in zbMATH Open

294 Publications have been cited 4,177 times in 3,003 Documents Cited by Year
Handbook of logic in computer science. Vol. 3: Semantic structures. Zbl 0829.68111
246
1994
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
181
2003
Handbook of logic in artificial intelligence and logic programming. Vol. 3: Nonmonotonic reasoning and uncertain reasoning. Zbl 0804.03017
174
1994
Handbook of logic in computer science. Vol. 2: Background: Computational structures. Zbl 0777.68001
153
1992
Handbook of logic in computer science. Vol. 4: Semantic modelling. Zbl 0876.68001
128
1995
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
126
1994
Handbook of philosophical logic. Vol. 6. 2nd ed. Zbl 1065.03002
108
2002
Handbook of logic in computer science. Vol. 1: Background: Mathematical structures. Zbl 0806.68003
106
1992
Semantical investigations in Heyting’s intuitionistic logic. Zbl 0453.03001
Gabbay, Dov M.
105
1981
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L.
90
2005
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
73
2009
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M.
71
1996
Theoretical foundations for non-monotonic reasoning in expert systems. Zbl 0581.68068
Gabbay, D. M.
65
1985
Logic: a history of its central concepts. Zbl 1348.03006
65
2012
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
60
1998
Handbook of formal argumentation. Zbl 1395.03005
60
2018
A logical account of formal argumentation. Zbl 1188.03011
Caminada, Martin W. A.; Gabbay, Dov M.
57
2009
Handbook of logic in artificial intelligence and logic programming. Vol. 2: Deduction methodologies. Zbl 0810.68005
55
1994
Handbook of philosophical logic. Vol. 8. 2nd ed. Zbl 1055.03002
55
2002
Investigations in modal and tense logics with applications to problems in philosophy and linguistics. Zbl 0374.02013
Gabbay, Dov M.
41
1976
An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018
Gabbay, D. M.; Hodkinson, I. M.
40
1990
Handbook of philosophical logic. Vol. 5. 2nd ed. Zbl 1065.03001
40
2002
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. Zbl 0289.02032
Gabbay, D. M.; de Jongh, D. H. J.
39
1974
Adding a temporal dimension to a logic system. Zbl 0798.03031
Finger, Marcelo; Gabbay, Dov M.
37
1992
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
36
2009
An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. Zbl 0519.03008
Gabbay, Dov M.
36
1981
Fibring logics. Zbl 0909.03001
Gabbay, Dov M.
34
1999
Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij. Zbl 1184.81003
34
2009
Labelled non-classical logics. With a foreword by Dov M. Gabbay. Zbl 1003.03001
Viganò, Luca
34
2000
Handbook of quantum logic and quantum structure. Quantum structures. Zbl 1119.81005
34
2007
Handbook of philosophical logic. Volume II: Extensions of classical logic. Zbl 0572.03003
33
1984
Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015
Gabbay, Dov; Metcalfe, George
33
2007
Temporal dynamics of support and attack networks: From argumentation to zoology. Initial results. Zbl 1098.68122
Barringer, Howard; Gabbay, Dov; Woods, John
33
2005
Handbook of logic in artificial intelligence and logic programming. Vol. 4: Epistemic and temporal reasoning. Zbl 0819.03010
32
1995
The many valued and nonmonotonic turn in logic. Zbl 1135.03302
31
2007
Handbook of temporal reasoning in artificial intelligence. Zbl 1099.68106
29
2005
Second-order quantifier elimination. Foundations, computational aspects and applications. Zbl 1165.03011
Gabbay, Dov M.; Schmidt, Renate A.; Szałas, Andrzej
28
2008
Handbook of deontic logic and normative systems. Zbl 1309.03001
27
2013
Handbook of logic in artificial intelligence and logic programming. Vol. 1: Logical foundations. Zbl 0808.68027
26
1993
Handbook of philosophical logic. Vol. 9. 2nd ed. Zbl 1055.03001
26
2002
The reach of abduction. Insight and trial. Zbl 1078.03002
Gabbay, Dov M.; Woods, John
26
2005
Analysis and synthesis of logics. How to cut and paste reasoning systems. Zbl 1137.03001
Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina
26
2008
Logic and the modalities in the twentieth century. Zbl 1135.03301
26
2006
Expressive functional completeness in tense logic. (Preliminary report). Zbl 0523.03017
Gabbay, Dov M.
25
1981
N-PROLOG: An extension of PROLOG with hypothetical implications. I. Zbl 0576.68001
Gabbay, D. M.; Reyle, U.
23
1984
Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Zbl 1189.68127
Wu, Yining; Caminada, Martin; Gabbay, Dov M.
23
2009
Handbook of logic in computer science. Vol. 5: Logical and algebraic methods. Zbl 1035.03001
23
2000
Temporal logic. 1st international conference, ICTL ’94, Bonn, Germany, July 11–14, 1994. Proceedings. Zbl 0875.03007
22
1994
Fibring argumentation frames. Zbl 1185.68670
Gabbay, Dov M.
22
2009
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
21
2005
Fibred semantics and the weaving of logics. I: Modal and intuitionistic logics. Zbl 0872.03007
Gabbay, D. M.
20
1996
Handbook of tableau methods. Zbl 0956.03001
20
1999
What is negation? Zbl 0957.00012
20
1999
Handbook of paraconsistency. Zbl 1206.03030
18
2007
On 2nd order intuitionistic propositional calculus with full comprehension. Zbl 0289.02016
Gabbay, Dov M.
18
1974
Symbolic knowledge extraction from trained neural networks: A sound approach. Zbl 0969.68124
d’Avila Garcez, A. S.; Broda, K.; Gabbay, D. M.
17
2001
Handbook of philosophical logic. Vol. 7. 2nd ed. Zbl 1065.03003
17
2002
N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure. Zbl 0595.68004
Gabbay, D. M.
17
1985
Logical modes of attack in argumentation networks. Zbl 1185.68671
Gabbay, Dov M.; Garcez, Artur S.d’Avila
17
2009
Applications of trees to intermediate logics. Zbl 0243.02019
Gabbay, Dov M.
17
1972
Neural-symbolic learning systems. Foundations and applications. Zbl 1055.68090
d’Avila Garcez, Artur S.; Broda, Krysia B.; Gabbay, Dov M.
16
2002
What is a logical system? Zbl 0824.03004
Gabbay, D. M.
15
1994
The rise of modern logic: from Leibniz to Frege. Zbl 1061.01004
15
2004
The decidability of the Kreisel-Putnam system. Zbl 0228.02013
Gabbay, Dov M.
15
1971
On some new intuitionistic propositional connectives. I. Zbl 0363.02026
Gabbay, Dov M.
15
1977
Craig’s interpolation theorem for modal logics. Zbl 0233.02009
Gabbay, Dov M.
14
1972
Philosophy of logic. Zbl 1107.03001
14
2007
Handbook of logic in artificial intelligence and logic programming. Vol. 5: Logic programming. Zbl 0889.03001
13
1998
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics. Zbl 0816.03012
D’Agostino, Marcello; Gabbay, Dov M.
13
1994
Preface for Studia Logica special issue (2). Zbl 1182.03062
Gabbay, Dov M.; van der Torre, Leendert
13
2009
Reactive Kripke models and contrary to duty obligations. Zbl 1144.03012
Gabbay, Dov M.
13
2008
Encoding two-valued nonclassical logics in classical logic. Zbl 0992.03019
Ohlbach, Hans Jürgen; Nonnengart, Andreas; de Rijke, Maarten; Gabbay, Dov M.
13
2001
Meta-argumentation modelling. I: Methodology and techniques. Zbl 1185.68664
Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Villata, Serena
12
2009
British logic in the nineteenth century. Zbl 1135.03303
12
2008
A general filtration method for modal logics. Zbl 0248.02025
Gabbay, Dov M.
12
1972
Mediaeval and Renaissance logic. Zbl 1135.03300
12
2008
A proof theoretical approach to default reasoning. I: Tableaux for default logic. Zbl 0859.03027
Amati, Gianni; Aiello, Luigia Carlucci; Gabbay, Dov; Pirri, Fiora
11
1996
Model theory for tense logics. Zbl 0307.02014
Gabbay, Dov M.
11
1975
Handbook of philosophical logic. Volume III: Alternatives to classical logic. Zbl 0603.03001
11
1986
Modal and temporal logic programming. Zbl 0662.03016
Gabbay, Dov
11
1987
Undecidability of modal and intermediate first-order logics with two individual variables. Zbl 0797.03002
Gabbay, D. M.; Shekhtman, V. B.
10
1993
Handbook of defeasible reasoning and uncertainty management systems. Vol. 1: Quantified representation of uncertainty and imprecision. Zbl 0908.90001
10
1998
Handbook of defeasible reasoning and uncertainty management systems. Vol. 2: Reasoning with actual and potential contradictions. Zbl 0908.90002
10
1998
Semantics for higher level attacks in extended argumentation frames. I: Overview. Zbl 1185.68669
Gabbay, Dov M.
10
2009
Neural-symbolic cognitive reasoning. Zbl 1188.68241
d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.
10
2009
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
10
2000
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
10
2000
Decidability of some intuitionistic predicate theories. Zbl 0266.02025
Gabbay, Dov M.
10
1972
Extending the Curry-Howard interpretation to linear, relevant and other resource logics. Zbl 0765.03005
Gabbay, Dov M.; de Queiroz, Ruy J. G. B.
9
1992
Temporal expressive completeness in the presence of gaps. Zbl 0802.03016
Gabbay, D. M.; Hodkinson, I. M.; Reynolds, M. A.
9
1993
Temporal logic in the context of databases. Zbl 0919.03018
Gabbay, Dov; Hodkinson, Ian
9
1996
Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction. Zbl 1181.03028
Abraham, M.; Gabbay, Dov M.; Schild, U.
9
2009
Future determination of entities in Talmudic public announcement logic. Zbl 1280.03017
Abraham, M.; Belfer, I.; Gabbay, D. M.; Schild, U.
9
2013
Interpolation in practical formal development. Zbl 0981.03035
Bicarregui, Juan; Dimitrakos, Theo; Gabbay, Dov; Maibaum, Tim
9
2001
Semantic proof of the Craig interpolation theorem for intuitionistic logic and extensions. I, II. Zbl 0234.02017
Gabbay, Dov M.
9
1971
Decidability results in non-classical logics. I. Zbl 0309.02053
Gabbay, Dov M.
9
1975
Handbook of tableau methods. Zbl 0933.00011
9
1999
MetateM: An introduction. Zbl 0838.68014
Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R.
8
1995
The new logic. Zbl 0984.03032
Gabbay, Dov; Woods, John
8
2001
Analytic calculi for product logics. Zbl 1066.03036
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
8
2004
A comprehensive account of the burden of persuasion in abstract argumentation. Zbl 07669820
Kampik, Timotheus; Gabbay, Dov; Sartor, Giovanni
1
2023
Ensuring reference independence and cautious monotony in abstract argumentation. Zbl 07460575
Kampik, Timotheus; Nieves, Juan Carlos; Gabbay, Dov
1
2022
Handbook of deontic logic and normative systems. Volume 2. Zbl 1505.03006
4
2021
The degrees of monotony-dilemma in abstract argumentation. Zbl 07542335
Kampik, Timotheus; Gabbay, Dov
2
2021
Normality, non-contamination and logical depth in classical natural deduction. Zbl 1455.03013
D’Agostino, Marcello; Gabbay, Dov; Modgil, Sanjay
3
2020
Introducing abstract argumentation with many lives. Zbl 1514.68279
Gabbay, D.; Rozenberg, G.; Students of CS Ashkelon
1
2020
The Talmudic logic project, ongoing since 2008. Zbl 07170320
Gabbay, Dov M.; Schild, Uri; David, Esther
1
2019
Handbook of formal argumentation. Zbl 1395.03005
60
2018
Handbook of formal argumentation. Volume 2. Zbl 1504.03001
3
2018
Handbook of philosophical logic. Vol. 18. Zbl 1402.03001
2
2018
Principles of Talmudic logic. Zbl 1445.03003
Abraham, M.; Gabbay, D. M.; Schild, U.
1
2018
The handling of loops in argumentation networks. Zbl 1354.68254
Gabbay, Dov
3
2016
Theory of disjunctive attacks. I. Zbl 1407.68464
Gabbay, D.; Gabbay, M.
2
2016
Logical foundations for bipolar and tripolar argumentation networks: preliminary results. Zbl 1352.68227
Gabbay, D. M.
1
2016
Probabilistic argumentation: an equational approach. Zbl 1337.68241
Gabbay, D. M.; Rodrigues, O.
7
2015
Equilibrium states in numerical argumentation networks. Zbl 1346.68185
Gabbay, D. M.; Rodrigues, O.
7
2015
Reactive standard deontic logic. Zbl 1380.03028
Gabbay, Dov M.; Straßer, Christian
4
2015
The attack as strong negation. I. Zbl 1405.03027
Gabbay, D.; Gabbay, M.
1
2015
Intuitionistic basis for input/output logic. Zbl 1311.03041
Parent, Xavier; Gabbay, Dov; van der Torre, Leendert
5
2014
Abduction and dialogical proof in argumentation and logic programming. Zbl 1366.68279
Booth, Richard; Gabbay, Dov; Kaci, Souhila; Rienstra, Tjitze; van der Torre, Leendert
5
2014
An equational approach to the merging of argumentation networks. Zbl 1303.68127
Gabbay, Dov. M.; Rodrigues, Odinaldo
4
2014
The paradoxes of permission an action based solution. Zbl 1317.03025
Gabbay, Dov; Gammaitoni, Loïc; Sun, Xin
4
2014
Computational logic. Zbl 1311.03006
4
2014
Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219
Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio
2
2014
Toward a linguistic interpretation of deontic paradoxes. Beth-Reichenbach semantics approach for a new analysis of the miners scenario. Zbl 1445.03024
Gabbay, Dov; Robaldo, Livio; Sun, Xin; van der Torre, Leendert; Baniasadi, Zohreh
2
2014
What is a logical system? An evolutionary view: 1964–2014. Zbl 1404.03009
Gabbay, Dov M.
2
2014
The equational approach to contrary-to-duty obligations. Zbl 1300.03016
Gabbay, Dov M.
1
2014
Reactivity and grammars: an exploration. Zbl 1486.68084
Barringer, Howard; Rydeheard, David; Gabbay, Dov
1
2014
When are two arguments the same? Equivalence in abstract argumentation. Zbl 1335.03004
Gabbay, Dov; Grossi, Davide
1
2014
Handbook of deontic logic and normative systems. Zbl 1309.03001
27
2013
Future determination of entities in Talmudic public announcement logic. Zbl 1280.03017
Abraham, M.; Belfer, I.; Gabbay, D. M.; Schild, U.
9
2013
Semantics and proof-theory of depth bounded Boolean logics. Zbl 1315.03107
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
8
2013
A socio-cognitive model of trust using argumentation theory. Zbl 1264.68182
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert
2
2013
Trends in belief revision and argumentation dynamics. Based on the workshop on belief revision and argumentation, Funchal, Madeira, January 2012. Zbl 1280.03006
1
2013
Reactive Kripke semantics. Zbl 1298.03001
Gabbay, Dov M.
1
2013
Reactive Kripke models and contrary to duty obligations. Part A: Semantics. Zbl 1269.03025
Gabbay, Dov M.
1
2013
Normative reasoning and consequence. Zbl 1482.68227
Broersen, Jan; Cranefield, Stephen; Elrakaiby, Yehia; Gabbay, Dov; Grossi, Davide; Lorini, Emiliano; Parent, Xavier; van der Torre, Leendert W. N.; Tummolini, Luca; Turrini, Paolo; Schwarzentruber, François
1
2013
Logic: a history of its central concepts. Zbl 1348.03006
65
2012
Modelling defeasible and prioritized support in bipolar argumentation. Zbl 1280.68255
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert
7
2012
Introducing reactive Kripke semantics and arc accessibility. Zbl 1272.03097
Gabbay, Dov
6
2012
A numerical approach to the merging of argumentation networks. Zbl 1361.68227
Gabbay, Dov; Rodrigues, Odinaldo
6
2012
The functional interpretation of logical deduction. Zbl 1248.03003
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.; Gabbay, Dov M.
4
2012
Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Zbl 1275.03093
de Boer, Mathijs; Gabbay, Dov M.; Parent, Xavier; Slavkovic, Marija
3
2012
Embedding and automating conditional logics in classical higher-order logic. Zbl 1272.03064
Benzmüller, Christoph; Gabbay, Dov; Genovese, Valerio; Rispoli, Daniele
3
2012
Sets and extensions in the twentieth century. Zbl 1236.03005
3
2012
A logic of argumentation for specification and verification of abstract argumentation frameworks. Zbl 1272.68383
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Hulstijn, Joris
2
2012
Global view on reactivity: switch graphs and their logics. Zbl 1272.03099
Gabbay, Dov; Marcelino, Sérgio
2
2012
Discussion paper: Changing norms is changing obligation change. Zbl 1297.03011
Broersen, Jan; Gabbay, Dov; van der Torre, Leendert
2
2012
Sequential dynamic logic. Zbl 1305.03020
Bochman, Alexander; Gabbay, Dov M.
1
2012
Completeness theorems for reactive modal logics. Zbl 1296.03017
Gabbay, Dov
1
2012
Introducing reactive modal tableaux. Zbl 1271.03028
Gabbay, Dov
1
2012
An equational approach to logic programming. Zbl 1357.68034
Gabbay, Dov M.
1
2012
Bipolar argumentation frames and contrary to duty obligations, preliminary report. Zbl 1362.68264
Gabbay, Dov
1
2012
Temporal deontic logic for the generalised Chisholm set of contrary to duty obligations. Zbl 1297.03013
Gabbay, Dov
1
2012
Delegation, count as, and security in Talmudic logic, a preliminary study. Zbl 1261.03103
Abraham, M.; Belfer, R.; Gabbay, D.; Schild, U.
7
2011
Reactive automata. Zbl 1210.68067
Crochemore, Maxime; Gabbay, Dov M.
6
2011
Introducing equational semantics for argumentation networks. Zbl 1341.68212
Gabbay, Dov M.
6
2011
Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. Zbl 1283.03005
Hilbert, David; Bernays, Paul
5
2011
Arguing about the trustworthiness of the information sources. Zbl 1341.68271
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert
5
2011
Logical analysis of the Talmudic rules of general and specific (Klalim-u-Praṭim). Zbl 1231.03003
Abraham, Michael; Gabbay, Dov M.; Hazut, Gabriel; Maruvka, Yosef E.; Schild, Uri
3
2011
Dung’s argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger. Zbl 1280.03007
Gabbay, Dov M.
3
2011
Inductive logic. Zbl 1225.03001
3
2011
Conditionals and modularity in general logics. Zbl 1234.03001
Gabbay, Dov M.; Schlechta, Karl
2
2011
Modal access control logic. Axiomatization, semantics and FOL theorem proving. Zbl 1215.68220
Genovese, Valerio; Rispoli, Daniele; Gabbay, Dov M.; van der Torre, Leendert
1
2011
Reactive intuitionistic tableaux. Zbl 1229.03014
Gabbay, D. M.
1
2011
Obligations and prohibitions in Talmudic deontic logic. Zbl 1250.03030
Abraham, Michael; Gabbay, Dov M.; Schild, Uri
6
2010
Higher-order coalition logic. Zbl 1211.03034
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert
4
2010
A theory of hierarchical consequence and conditionals. Zbl 1193.03037
Gabbay, Dov M.; Schlechta, Karl
3
2010
Logical tools for handling change in agent-based systems. Zbl 1215.68219
Gabbay, Dov M.; Schlechta, Karl
2
2010
The norm implementation problem in normative multi-agent systems. Zbl 1201.68125
Grossi, D.; Gabbay, D.; van der Torre, L.
2
2010
Modal and temporal argumentation networks. Zbl 1288.68205
Barringer, Howard; Gabbay, Dov M.
2
2010
Revision, acceptability and context. Theoretical and algorithmic aspects. Zbl 1203.03023
Gabbay, Dov M.; Rodrigues, Odinaldo T.; Russo, Alessandra
2
2010
A comment on work by Booth and co-authors. Zbl 1198.03024
Gabbay, Dov M.; Schlechta, Karl
1
2010
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
73
2009
A logical account of formal argumentation. Zbl 1188.03011
Caminada, Martin W. A.; Gabbay, Dov M.
57
2009
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
36
2009
Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij. Zbl 1184.81003
34
2009
Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Zbl 1189.68127
Wu, Yining; Caminada, Martin; Gabbay, Dov M.
23
2009
Fibring argumentation frames. Zbl 1185.68670
Gabbay, Dov M.
22
2009
Logical modes of attack in argumentation networks. Zbl 1185.68671
Gabbay, Dov M.; Garcez, Artur S.d’Avila
17
2009
Preface for Studia Logica special issue (2). Zbl 1182.03062
Gabbay, Dov M.; van der Torre, Leendert
13
2009
Meta-argumentation modelling. I: Methodology and techniques. Zbl 1185.68664
Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Villata, Serena
12
2009
Semantics for higher level attacks in extended argumentation frames. I: Overview. Zbl 1185.68669
Gabbay, Dov M.
10
2009
Neural-symbolic cognitive reasoning. Zbl 1188.68241
d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.
10
2009
Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction. Zbl 1181.03028
Abraham, M.; Gabbay, Dov M.; Schild, U.
9
2009
Reactive preferential structures and nonmonotonic consequence. Zbl 1174.03010
Gabbay, Dov M.; Schlechta, Karl
8
2009
Modal logics of reactive frames. Zbl 1193.03036
Gabbay, Dov M.; Marcelino, Sérgio
8
2009
Modal provability foundations for argumentation networks. Zbl 1188.03012
Gabbay, Dov M.
7
2009
Roadmap for preferential logics. Zbl 1187.03026
Gabbay, Dov M.; Schlechta, Karl
7
2009
Defeasible inheritance systems and reactive diagrams. Zbl 1155.68081
Gabbay, Dov M.; Schlechta, Karl
6
2009
Fibred security language. Zbl 1181.03033
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert
4
2009
Size and logic. Zbl 1174.03009
Gabbay, Dov M.; Schlechta, Karl
3
2009
A meta-model of access control in a fibred security language. Zbl 1181.03031
Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio
3
2009
Annotation theories over finite graphs. Zbl 1185.03057
Gabbay, Dov M.; Szałas, Andrzej
3
2009
Nonmonotonicity and holicity in quantum logic. Zbl 1273.81019
Engesser, Kurt; Gabbay, Dov; Lehmann, Daniel
2
2009
Second-order quantifier elimination. Foundations, computational aspects and applications. Zbl 1165.03011
Gabbay, Dov M.; Schmidt, Renate A.; Szałas, Andrzej
28
2008
Analysis and synthesis of logics. How to cut and paste reasoning systems. Zbl 1137.03001
Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina
26
2008
Reactive Kripke models and contrary to duty obligations. Zbl 1144.03012
Gabbay, Dov M.
13
2008
British logic in the nineteenth century. Zbl 1135.03303
12
2008
Mediaeval and Renaissance logic. Zbl 1135.03300
12
2008
...and 194 more Documents
all top 5

Cited by 2,910 Authors

96 Gabbay, Dov M.
35 Maksimova, Larisa L’vovna
29 Prade, Henri M.
29 Rybakov, Vladimir Vladimirovich
27 Dubois, Didier
20 Zakharyaschev, Michael Viktorovich
18 Rabinovich, Alexander
17 Avron, Arnon
17 Godo, Lluís
17 Sernadas, Cristina S.
17 van der Torre, Leendert W. N.
17 Wolter, Frank
16 Tucker, John V.
15 Arieli, Ofer
15 Jung, Achim
15 van Benthem, Johan F. A. K.
14 Indrzejczak, Andrzej
14 Kou, Hui
14 Rasga, João
14 Reynolds, Mark Alexander
14 Wansing, Heinrich Theodor
14 Yun, Veta Fëdorovna
13 Hunter, Anthony
13 Kamide, Norihiro
13 Metcalfe, George
13 Sernadas, Amilcar C.
13 Simari, Guillermo Ricardo
12 Demri, Stéphane P.
12 Edalat, Abbas
12 Li, Qingguo
12 Montanari, Angelo
12 Woltran, Stefan
11 Artale, Alessandro
11 Dvořák, Wolfgang
11 Goranko, Valentin F.
11 Szałas, Andrzej
11 Xu, Luoshan
10 Baroni, Pietro
10 Boella, Guido
10 Ciabattoni, Agata
10 Diaconescu, Răzvan
10 Giacomin, Massimiliano
10 Kremer, Philip
10 Kurucz, Agi
10 Middeldorp, Aart
10 Wang, Zhudeng
9 Alpuente, María
9 Balbiani, Philippe
9 Bezhanishvili, Guram
9 Caleiro, Carlos
9 d’Avila Garcez, Artur S.
9 Eiter, Thomas
9 Finger, Marcelo
9 Ghilardi, Silvio
9 Goubault-Larrecq, Jean
9 Hodkinson, Ian Martin
9 Hötzel Escardó, Martín
9 Humberstone, Lloyd
9 Koutras, Costas D.
9 Martin, Keye
9 Masini, Andrea
9 Ognjanović, Zoran
9 Petrukhin, Yaroslav Igorevich
9 Schmidt, Renate A.
9 Shehtman, Valentin B.
9 Standefer, Shawn
9 van der Hoek, Wiebe
9 Vetterlein, Thomas
9 Viganò, Luca
9 Xi, Xiaoyong
8 Baaz, Matthias
8 Benferhat, Salem
8 Benzmüller, Christoph Ewald
8 Bergstra, Jan A.
8 Carnielli, Walter Alexandre
8 D’Agostino, Marcello
8 Dixon, Clare
8 Doder, Dragan
8 Fisher, Michael
8 Gabbay, Murdoch James
8 Giordano, Laura
8 Iemhoff, Rosalie
8 Jia, Xiaodong
8 Kern-Isberner, Gabriele
8 Klop, Jan Willem
8 Marcelino, Sérgio
8 Raftery, James G.
8 Sciavicco, Guido
8 Strasser, Christian
8 Toni, Francesca
8 Volpe, Marco
7 Béziau, Jean-Yves
7 Dunne, Paul E.
7 Falaschi, Moreno
7 Ferrari, Mauro
7 Ho, Weng Kin
7 Hustadt, Ullrich
7 Kamareddine, Fairouz D.
7 Kikot, Stanislav
7 Kontchakov, Roman
...and 2,810 more Authors
all top 5

Cited in 188 Serials

256 Theoretical Computer Science
176 Studia Logica
175 Artificial Intelligence
101 Journal of Philosophical Logic
101 Information and Computation
91 Journal of Applied Non-Classical Logics
86 International Journal of Approximate Reasoning
81 Fuzzy Sets and Systems
81 Annals of Pure and Applied Logic
78 The Journal of Symbolic Logic
77 Journal of Applied Logic
64 Synthese
60 Topology and its Applications
57 The Review of Symbolic Logic
46 Logica Universalis
40 Annals of Mathematics and Artificial Intelligence
38 Notre Dame Journal of Formal Logic
35 Journal of Logic, Language and Information
32 Logic and Logical Philosophy
31 The Journal of Logic and Algebraic Programming
28 Archive for Mathematical Logic
27 Algebra and Logic
26 The Bulletin of Symbolic Logic
24 History and Philosophy of Logic
24 Journal of Automated Reasoning
23 Information Processing Letters
23 Journal of Logical and Algebraic Methods in Programming
21 Siberian Mathematical Journal
21 Bulletin of the Section of Logic
19 Journal of Symbolic Computation
18 Journal of Computer and System Sciences
18 Mathematical Logic Quarterly (MLQ)
16 International Journal of Theoretical Physics
16 Information Sciences
16 Theory and Practice of Logic Programming
16 Logical Methods in Computer Science
14 Soft Computing
14 ACM Transactions on Computational Logic
12 Mathematical Structures in Computer Science
10 Algebra Universalis
10 Journal of Pure and Applied Algebra
10 Logicheskie Issledovaniya
9 Mathematical Notes
9 The Journal of Artificial Intelligence Research (JAIR)
8 International Journal of Intelligent Systems
8 Formal Aspects of Computing
7 Indagationes Mathematicae. New Series
7 Erkenntnis
7 Sibirskie Èlektronnye Matematicheskie Izvestiya
7 Nôus
6 Publications of the Research Institute for Mathematical Sciences, Kyoto University
6 New Generation Computing
5 Foundations of Physics
4 Acta Informatica
4 Computers & Mathematics with Applications
4 International Journal of General Systems
4 Journal of Mathematical Physics
4 Reviews in Mathematical Physics
4 Applied Mathematics and Computation
4 Kybernetika
4 Theory of Computing Systems
4 Topoi
4 Journal of Machine Learning Research (JMLR)
4 Journal of Intelligent and Fuzzy Systems
4 Journal of Siberian Federal University. Mathematics & Physics
3 Journal of Algebra
3 Journal of Mathematical Psychology
3 Neural Networks
3 Machine Learning
3 Applied Categorical Structures
3 Doklady Mathematics
3 Lobachevskii Journal of Mathematics
3 Annales Henri Poincaré
3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
3 International Journal of Geometric Methods in Modern Physics
3 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
3 Symmetry
3 Frontiers of Computer Science
3 Axioms
2 Discrete Mathematics
2 Israel Journal of Mathematics
2 Journal of Mathematical Analysis and Applications
2 Chaos, Solitons and Fractals
2 Journal of Geometry and Physics
2 The Mathematical Intelligencer
2 Linguistics and Philosophy
2 Programming and Computer Software
2 Quaestiones Mathematicae
2 Transactions of the American Mathematical Society
2 Order
2 Algorithmica
2 Mathematical and Computer Modelling
2 Neural Computation
2 International Journal of Foundations of Computer Science
2 Historia Mathematica
2 International Journal of Computer Mathematics
2 Cybernetics and Systems Analysis
2 Complexity
2 LMS Journal of Computation and Mathematics
2 Fundamenta Informaticae
...and 88 more Serials
all top 5

Cited in 47 Fields

1,986 Mathematical logic and foundations (03-XX)
1,420 Computer science (68-XX)
259 Order, lattices, ordered algebraic structures (06-XX)
123 General topology (54-XX)
92 Category theory; homological algebra (18-XX)
81 History and biography (01-XX)
70 Quantum theory (81-XX)
66 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
32 General and overarching topics; collections (00-XX)
31 General algebraic systems (08-XX)
18 Combinatorics (05-XX)
18 Functional analysis (46-XX)
15 Measure and integration (28-XX)
15 Probability theory and stochastic processes (60-XX)
15 Information and communication theory, circuits (94-XX)
14 Group theory and generalizations (20-XX)
14 Relativity and gravitational theory (83-XX)
12 Statistics (62-XX)
10 Biology and other natural sciences (92-XX)
9 Operator theory (47-XX)
6 Number theory (11-XX)
6 Real functions (26-XX)
5 Operations research, mathematical programming (90-XX)
5 Systems theory; control (93-XX)
4 Associative rings and algebras (16-XX)
4 Topological groups, Lie groups (22-XX)
4 Difference and functional equations (39-XX)
4 Convex and discrete geometry (52-XX)
4 Mathematics education (97-XX)
3 Functions of a complex variable (30-XX)
3 Ordinary differential equations (34-XX)
3 Dynamical systems and ergodic theory (37-XX)
3 Geometry (51-XX)
3 Differential geometry (53-XX)
3 Algebraic topology (55-XX)
3 Numerical analysis (65-XX)
2 Commutative algebra (13-XX)
2 Several complex variables and analytic spaces (32-XX)
2 Partial differential equations (35-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Approximations and expansions (41-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Manifolds and cell complexes (57-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Mechanics of particles and systems (70-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.