×
Compute Distance To:
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

87 single-authored
33 Woods, John
18 Günthner, Franz
18 van der Torre, Leendert W. N.
14 Olivetti, Nicola
12 Schlechta, Karl
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 Gabbay, Michael J.
5 Hodkinson, Ian Martin
5 Hogger, Christopher John
5 Kempson, Ruth
5 Lehmann, Daniel J.
5 Robinson, John Alan
5 Villata, Serena
4 Hunter, Anthony
4 Nossum, Rolf Tomas
4 Parent, Xavier
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 Giordano, Laura
3 Gough, Graham
3 Grossi, Davide
3 Kampik, Timotheus
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 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 Rydeheard, David E.
2 Sun, Xin
2 Sundholm, Göran
2 van Dalen, Dirk
2 Viganò, Luca
2 Wansing, Heinrich Theodor
1 Amir, Amihood
1 Anellis, Irving H.
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 Benzmüller, Christoph Ewald
1 Bernays, Paul
1 Besnard, Philippe
1 Bessos, Mai Ben Adar
1 Béziau, Jean-Yves
1 Bicarregui, Juan C.
1 Blamey, Stephen
1 Booth, Richard F.
1 Brink, Chris
1 Brough, Derek
1 Bull, Robert A.
1 Burgess, John P.
...and 100 more Co-Authors
all top 5

Serials

30 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
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
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 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 Advances in Logic
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 The Review of Modern Logic
1 Handbook of the Philosophy of Science

Publications by Year

Citations contained in zbMATH Open

271 Publications have been cited 2,224 times in 1,492 Documents Cited by Year
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
144
2003
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
101
1994
Semantical investigations in Heyting’s intuitionistic logic. Zbl 0453.03001
Gabbay, Dov M.
90
1981
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L.
75
2005
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
53
2009
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M.
50
1996
A logical account of formal argumentation. Zbl 1188.03011
Caminada, Martin W. A.; Gabbay, Dov M.
49
2009
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
48
1998
Investigations in modal and tense logics with applications to problems in philosophy and linguistics. Zbl 0374.02013
Gabbay, Dov M.
36
1976
Theoretical foundations for non-monotonic reasoning in expert systems. Zbl 0581.68068
Gabbay, D. M.
35
1985
An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018
Gabbay, D. M.; Hodkinson, I. M.
32
1990
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. Zbl 0289.02032
Gabbay, D. M.; de Jongh, D. H. J.
32
1974
Adding a temporal dimension to a logic system. Zbl 0798.03031
Finger, Marcelo; Gabbay, Dov M.
31
1992
Temporal dynamics of support and attack networks: From argumentation to zoology. Initial results. Zbl 1098.68122
Barringer, Howard; Gabbay, Dov; Woods, John
30
2005
Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij. Zbl 1184.81003
29
2009
Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015
Gabbay, Dov; Metcalfe, George
29
2007
Handbook of logic in artificial intelligence and logic programming. Vol. 3: Nonmonotonic reasoning and uncertain reasoning. Zbl 0804.03017
28
1994
Fibring logics. Zbl 0909.03001
Gabbay, Dov M.
27
1999
Labelled non-classical logics. With a foreword by Dov M. Gabbay. Zbl 1003.03001
Viganò, Luca
23
2000
Temporal logic. 1st International Conference, ICTL ’94, Bonn, Germany, July 11-14, 1994. Proceedings. Zbl 0875.03007
23
1994
Second-order quantifier elimination. Foundations, computational aspects and applications. Zbl 1165.03011
Gabbay, Dov M.; Schmidt, Renate A.; Szałas, Andrzej
23
2008
N-PROLOG: An extension of PROLOG with hypothetical implications. I. Zbl 0576.68001
Gabbay, D. M.; Reyle, U.
22
1984
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
22
2008
Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Zbl 1189.68127
Wu, Yining; Caminada, Martin; Gabbay, Dov M.
21
2009
The reach of abduction. Insight and trial. Zbl 1078.03002
Gabbay, Dov M.; Woods, John
21
2005
Handbook of philosophical logic. Volume II: Extensions of classical logic. Zbl 0572.03003
21
1984
An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. Zbl 0519.03008
Gabbay, Dov M.
20
1981
Fibred semantics and the weaving of logics. I: Modal and intuitionistic logics. Zbl 0872.03007
Gabbay, D. M.
18
1996
Handbook of quantum logic and quantum structure. Quantum structures. Zbl 1119.81005
18
2007
Fibring argumentation frames. Zbl 1185.68670
Gabbay, Dov M.
17
2009
On 2nd order intuitionistic propositional calculus with full comprehension. Zbl 0289.02016
Gabbay, Dov M.
17
1974
Logical modes of attack in argumentation networks. Zbl 1185.68671
Gabbay, Dov M.; Garcez, Artur S.d’Avila
16
2009
Applications of trees to intermediate logics. Zbl 0243.02019
Gabbay, Dov M.
16
1972
N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure. Zbl 0595.68004
Gabbay, D. M.
16
1985
Handbook of deontic logic and normative systems. Zbl 1309.03001
16
2013
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
16
2005
Symbolic knowledge extraction from trained neural networks: A sound approach. Zbl 0969.68124
d’Avila Garcez, A. S.; Broda, K.; Gabbay, D. M.
15
2001
On some new intuitionistic propositional connectives. I. Zbl 0363.02026
Gabbay, Dov M.
15
1977
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
15
2009
The decidability of the Kreisel-Putnam system. Zbl 0228.02013
Gabbay, Dov M.
14
1971
Handbook of tableau methods. Zbl 0956.03001
13
1999
Handbook of logic in computer science. Vol. 3: Semantic structures. Zbl 0829.68111
13
1994
Preface for Studia Logica special issue (2). Zbl 1182.03062
Gabbay, Dov M.; van der Torre, Leendert
12
2009
Meta-argumentation modelling. I: Methodology and techniques. Zbl 1185.68664
Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Villata, Serena
12
2009
Handbook of philosophical logic. Vol. 8. 2nd ed. Zbl 1055.03002
12
2002
Model theory for tense logics. Zbl 0307.02014
Gabbay, Dov M.
11
1975
What is negation? Zbl 0957.00012
11
1999
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics. Zbl 0816.03012
D’Agostino, Marcello; Gabbay, Dov M.
11
1994
Reactive Kripke models and contrary to duty obligations. Zbl 1144.03012
Gabbay, Dov M.
11
2008
What is a logical system? Zbl 0824.03004
Gabbay, D. M.
11
1994
Neural-symbolic learning systems. Foundations and applications. Zbl 1055.68090
d’Avila Garcez, Artur S.; Broda, Krysia B.; Gabbay, Dov M.
11
2002
A general filtration method for modal logics. Zbl 0248.02025
Gabbay, Dov M.
10
1972
Encoding two-valued nonclassical logics in classical logic. Zbl 0992.03019
Ohlbach, Hans Jürgen; Nonnengart, Andreas; de Rijke, Maarten; Gabbay, Dov M.
10
2001
Handbook of defeasible reasoning and uncertainty management systems. Vol. 2: Reasoning with actual and potential contradictions. Zbl 0908.90002
10
1998
A proof theoretical approach to default reasoning. I: Tableaux for default logic. Zbl 0859.03027
Amati, Gianni; Aiello, Luigia Carlucci; Gabbay, Dov; Pirri, Fiora
10
1996
Decidability results in non-classical logics. I. Zbl 0309.02053
Gabbay, Dov M.
9
1975
Semantics for higher level attacks in extended argumentation frames. I: Overview. Zbl 1185.68669
Gabbay, Dov M.
9
2009
Decidability of some intuitionistic predicate theories. Zbl 0266.02025
Gabbay, Dov M.
9
1972
Expressive functional completeness in tense logic. (Preliminary report). Zbl 0523.03017
Gabbay, Dov M.
9
1981
Handbook of logic in computer science. Vol. 2: Background: Computational structures. Zbl 0777.68001
8
1992
Craig’s interpolation theorem for modal logics. Zbl 0233.02009
Gabbay, Dov M.
8
1972
Model theory for intuitionistic logic. Zbl 0242.02059
Gabbay, Dov M.
8
1972
Negation as inconsistency. I. Zbl 0606.68086
Gabbay, D. M.; Sergot, M. J.
8
1986
The new logic. Zbl 0984.03032
Gabbay, Dov; Woods, John
8
2001
Interpolation in practical formal development. Zbl 0981.03035
Bicarregui, Juan; Dimitrakos, Theo; Gabbay, Dov; Maibaum, Tim
8
2001
Handbook of philosophical logic. Volume III: Alternatives to classical logic. Zbl 0603.03001
8
1986
Analytic calculi for product logics. Zbl 1066.03036
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
8
2004
Handbook of temporal reasoning in artificial intelligence. Zbl 1099.68106
8
2005
Handbook of paraconsistency. Zbl 1206.03030
8
2007
Neural-symbolic cognitive reasoning. Zbl 1188.68241
d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.
8
2009
MetateM: An introduction. Zbl 0838.68014
Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R.
8
1995
Reactive preferential structures and nonmonotonic consequence. Zbl 1174.03010
Gabbay, Dov M.; Schlechta, Karl
7
2009
Modal provability foundations for argumentation networks. Zbl 1188.03012
Gabbay, Dov M.
7
2009
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
7
2000
Abduction in labelled deductive systems. Zbl 0970.68162
Gabbay, D. M.
7
2000
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
7
2000
Temporal logic in the context of databases. Zbl 0919.03018
Gabbay, Dov; Hodkinson, Ian
7
1996
Undecidability of modal and intermediate first-order logics with two individual variables. Zbl 0797.03002
Gabbay, D. M.; Shekhtman, V. B.
7
1993
Temporal expressive completeness in the presence of gaps. Zbl 0802.03016
Gabbay, D. M.; Hodkinson, I. M.; Reynolds, M. A.
7
1993
Cut and pay. Zbl 1108.03034
Finger, Marcelo; Gabbay, Dov
7
2006
Handbook of formal argumentation. Zbl 1395.03005
7
2018
Semantics and proof-theory of depth bounded Boolean logics. Zbl 1315.03107
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
7
2013
Modelling defeasible and prioritized support in bipolar argumentation. Zbl 1280.68255
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert
6
2012
Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction. Zbl 1181.03028
Abraham, M.; Gabbay, Dov M.; Schild, U.
6
2009
Roadmap for preferential logics. Zbl 1187.03026
Gabbay, Dov M.; Schlechta, Karl
6
2009
Modal logics of reactive frames. Zbl 1193.03036
Gabbay, Dov M.; Marcelino, Sérgio
6
2009
Reactive automata. Zbl 1210.68067
Crochemore, Maxime; Gabbay, Dov M.
6
2011
Defeasible inheritance systems and reactive diagrams. Zbl 1155.68081
Gabbay, Dov M.; Schlechta, Karl
6
2009
Handbook of defeasible reasoning and uncertainty management systems. Vol. 1: Quantified representation of uncertainty and imprecision. Zbl 0908.90001
6
1998
Combining temporal logic systems. Zbl 0857.03008
Finger, Marcelo; Gabbay, Dov
6
1996
Labelled deductive systems: A position paper. Zbl 0794.03014
Gabbay, D. M.
6
1993
Handbook of philosophical logic. Vol. I: Elements of classical logic. Zbl 0538.03001
6
1983
Advice on abductive logic. Zbl 1108.03008
Gabbay, Dov; Woods, John
6
2006
Introducing equational semantics for argumentation networks. Zbl 1341.68212
Gabbay, Dov M.
6
2011
A new approach to quantum logic. Zbl 1162.03035
Engesser, Kurt; Gabbay, Dov M.; Lehmann, Daniel
6
2007
Products of modal logics. III. Products of modal and temporal logics. Zbl 1014.03023
Gabbay, Dov; Shehtman, Valentin
6
2002
Meta-reasoning in executable temporal logic. Zbl 0825.68584
Barringer, Howard; Fisher, Michael; Gabbay, Dov; Hunter, Anthony
5
1991
Tense systems with discrete moments of time. I. Zbl 0245.02031
Gabbay, Dov M.
5
1972
A general theory of the conditional in terms of a ternary operator. Zbl 0254.02019
Gabbay, Dov M.
5
1972
Sufficient conditions for the undecidability of intuitionistic theories with applications. Zbl 0266.02026
Gabbay, Dov M.
5
1972
Normality, non-contamination and logical depth in classical natural deduction. Zbl 1455.03013
D’Agostino, Marcello; Gabbay, Dov; Modgil, Sanjay
1
2020
Handbook of formal argumentation. Zbl 1395.03005
7
2018
Handbook of philosophical logic. Vol. 18. Zbl 1402.03001
1
2018
Principles of Talmudic logic. Zbl 1445.03003
Abraham, M.; Gabbay, D. M.; Schild, U.
1
2018
Theory of disjunctive attacks. I. Zbl 1407.68464
Gabbay, D.; Gabbay, M.
2
2016
The handling of loops in argumentation networks. Zbl 1354.68254
Gabbay, Dov
2
2016
Logical foundations for bipolar and tripolar argumentation networks: preliminary results. Zbl 1352.68227
Gabbay, D. M.
1
2016
Reactive standard deontic logic. Zbl 1380.03028
Gabbay, Dov M.; Straßer, Christian
4
2015
Probabilistic argumentation: an equational approach. Zbl 1337.68241
Gabbay, D. M.; Rodrigues, O.
4
2015
Equilibrium states in numerical argumentation networks. Zbl 1346.68185
Gabbay, D. M.; Rodrigues, O.
4
2015
The attack as strong negation. I. Zbl 1405.03027
Gabbay, D.; Gabbay, M.
1
2015
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
3
2014
Intuitionistic basis for input/output logic. Zbl 1311.03041
Parent, Xavier; Gabbay, Dov; van der Torre, Leendert
3
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
3
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
Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219
Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio
2
2014
What is a logical system? An evolutionary view: 1964–2014. Zbl 1404.03009
Gabbay, Dov M.
1
2014
When are two arguments the same? Equivalence in abstract argumentation. Zbl 1335.03004
Gabbay, Dov; Grossi, Davide
1
2014
The equational approach to contrary-to-duty obligations. Zbl 1300.03016
Gabbay, Dov M.
1
2014
Handbook of deontic logic and normative systems. Zbl 1309.03001
16
2013
Semantics and proof-theory of depth bounded Boolean logics. Zbl 1315.03107
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
7
2013
Future determination of entities in Talmudic public announcement logic. Zbl 1280.03017
Abraham, M.; Belfer, I.; Gabbay, D. M.; Schild, U.
3
2013
Reactive Kripke models and contrary to duty obligations. Part A: Semantics. Zbl 1269.03025
Gabbay, Dov M.
1
2013
A socio-cognitive model of trust using argumentation theory. Zbl 1264.68182
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert
1
2013
Reactive Kripke semantics. Zbl 1298.03001
Gabbay, Dov M.
1
2013
Modelling defeasible and prioritized support in bipolar argumentation. Zbl 1280.68255
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert
6
2012
A numerical approach to the merging of argumentation networks. Zbl 1361.68227
Gabbay, Dov; Rodrigues, Odinaldo
5
2012
Introducing reactive Kripke semantics and arc accessibility. Zbl 1272.03097
Gabbay, Dov
4
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
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
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
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
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
Arguing about the trustworthiness of the information sources. Zbl 1341.68271
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert
5
2011
Delegation, count as, and security in Talmudic logic, a preliminary study. Zbl 1261.03103
Abraham, M.; Belfer, R.; Gabbay, D.; Schild, U.
4
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
4
2011
Dung’s argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger. Zbl 1280.03007
Gabbay, Dov M.
3
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
2
2011
Conditionals and modularity in general logics. Zbl 1234.03001
Gabbay, Dov M.; Schlechta, Karl
1
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
Inductive logic. Zbl 1225.03001
1
2011
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
Obligations and prohibitions in Talmudic deontic logic. Zbl 1250.03030
Abraham, Michael; Gabbay, Dov M.; Schild, Uri
3
2010
Logical tools for handling change in agent-based systems. Zbl 1215.68219
Gabbay, Dov M.; Schlechta, Karl
2
2010
Revision, acceptability and context. Theoretical and algorithmic aspects. Zbl 1203.03023
Gabbay, Dov M.; Rodrigues, Odinaldo T.; Russo, Alessandra
2
2010
Modal and temporal argumentation networks. Zbl 1288.68205
Barringer, Howard; Gabbay, Dov M.
2
2010
The norm implementation problem in normative multi-agent systems. Zbl 1201.68125
Grossi, D.; Gabbay, D.; van der Torre, L.
1
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
53
2009
A logical account of formal argumentation. Zbl 1188.03011
Caminada, Martin W. A.; Gabbay, Dov M.
49
2009
Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij. Zbl 1184.81003
29
2009
Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Zbl 1189.68127
Wu, Yining; Caminada, Martin; Gabbay, Dov M.
21
2009
Fibring argumentation frames. Zbl 1185.68670
Gabbay, Dov M.
17
2009
Logical modes of attack in argumentation networks. Zbl 1185.68671
Gabbay, Dov M.; Garcez, Artur S.d’Avila
16
2009
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
15
2009
Preface for Studia Logica special issue (2). Zbl 1182.03062
Gabbay, Dov M.; van der Torre, Leendert
12
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.
9
2009
Neural-symbolic cognitive reasoning. Zbl 1188.68241
d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.
8
2009
Reactive preferential structures and nonmonotonic consequence. Zbl 1174.03010
Gabbay, Dov M.; Schlechta, Karl
7
2009
Modal provability foundations for argumentation networks. Zbl 1188.03012
Gabbay, Dov M.
7
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.
6
2009
Roadmap for preferential logics. Zbl 1187.03026
Gabbay, Dov M.; Schlechta, Karl
6
2009
Modal logics of reactive frames. Zbl 1193.03036
Gabbay, Dov M.; Marcelino, Sérgio
6
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
1
2009
Second-order quantifier elimination. Foundations, computational aspects and applications. Zbl 1165.03011
Gabbay, Dov M.; Schmidt, Renate A.; Szałas, Andrzej
23
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
22
2008
Reactive Kripke models and contrary to duty obligations. Zbl 1144.03012
Gabbay, Dov M.
11
2008
Resource-origins of nonmonotonicity. Zbl 1149.03006
Gabbay, Dov; Woods, John
5
2008
Cumulativity without closure of the domain under finite unions. Zbl 1205.03041
Gabbay, Dov M.; Schlechta, Karl
4
2008
Introducing reactive Kripke semantics and arc accessibility. Zbl 1134.03012
Gabbay, Dov M.
4
2008
Network modalities: an exploration paper. Zbl 1269.03024
Barringer, Howard; Gabbay, Dov; Woods, John
3
2008
Belief revision in non-classical logics. Zbl 1208.03020
Gabbay, Dov; Rodrigues, Odinaldo; Russo, Alessandra
3
2008
A sound and complete deductive system for CTL\(^*\) verification. Zbl 1156.68036
Gabbay, Dov M.; Pnueli, Amir
3
2008
Cut-based abduction. Zbl 1156.03032
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
3
2008
British logic in the nineteenth century. Zbl 1135.03303
2
2008
Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015
Gabbay, Dov; Metcalfe, George
29
2007
Handbook of quantum logic and quantum structure. Quantum structures. Zbl 1119.81005
18
2007
Handbook of paraconsistency. Zbl 1206.03030
8
2007
A new approach to quantum logic. Zbl 1162.03035
Engesser, Kurt; Gabbay, Dov M.; Lehmann, Daniel
6
2007
Equal rights for the cut: Computable non-analytic cuts in cut-based proofs. Zbl 1159.03038
Finger, Marcelo; Gabbay, Dov
4
2007
The many valued and nonmonotonic turn in logic. Zbl 1135.03302
4
2007
Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals. Zbl 1127.03024
Gabbay, Dov M.; Szałas, Andrzej
3
2007
...and 171 more Documents
all top 5

Cited by 1,512 Authors

90 Gabbay, Dov M.
33 Maksimova, Larisa L’vovna
23 Rybakov, Vladimir Vladimirovich
17 Zakharyaschev, Michael Viktorovich
14 Sernadas, Cristina S.
14 Wolter, Frank
13 Metcalfe, George
13 Rabinovich, Alexander
13 Reynolds, Mark Alexander
12 Rasga, João
12 van Benthem, Johan F. A. K.
12 van der Torre, Leendert W. N.
12 Yun, Veta Fëdorovna
11 Demri, Stéphane P.
11 Sernadas, Amilcar C.
10 Hunter, Anthony
10 Wang, Zhudeng
9 Boella, Guido
9 D’Agostino, Marcello
9 Dubois, Didier
9 Hodkinson, Ian Martin
9 Kurucz, Agi
9 Montanari, Angelo
9 Prade, Henri M.
8 Balbiani, Philippe
8 d’Avila Garcez, Artur S.
8 Finger, Marcelo
8 Humberstone, Lloyd
8 Kremer, Philip
8 Schmidt, Renate A.
8 Simari, Guillermo Ricardo
8 Viganò, Luca
8 Volpe, Marco
7 Arieli, Ofer
7 Artale, Alessandro
7 Baroni, Pietro
7 Carnielli, Walter Alexandre
7 Ciabattoni, Agata
7 Diaconescu, Răzvan
7 Dvořák, Wolfgang
7 Ferrari, Mauro
7 Giacomin, Massimiliano
7 Giordano, Laura
7 Goranko, Valentin F.
7 Indrzejczak, Andrzej
7 Miglioli, Pierangelo
7 Pták, Pavel
7 Shehtman, Valentin B.
7 Szałas, Andrzej
7 Vetterlein, Thomas
7 Wang, Sanmin
7 Wansing, Heinrich Theodor
7 Woltran, Stefan
7 Yashin, Aleksandr D.
6 Benzmüller, Christoph Ewald
6 Dixon, Clare
6 Dunne, Paul E.
6 Ghilardi, Silvio
6 Iemhoff, Rosalie
6 Kamide, Norihiro
6 Kikot, Stanislav
6 Konev, Boris
6 Kontchakov, Roman
6 Koutras, Costas D.
6 Lutz, Carsten
6 Masini, Andrea
6 Matoušek, Milan
6 Moretti, Valter
6 Olivetti, Nicola
6 Thimm, Matthias
6 Venema, Yde
6 Villata, Serena
5 Alcântara, João
5 Avron, Arnon
5 Bezhanishvili, Guram
5 Cerutti, Federico
5 Cresswell, Maxwell John
5 Hao, Xiaoying
5 Holik, Federico Hernán
5 Hustadt, Ullrich
5 Karpenko, Anastasia Valer’evna
5 Liu, Huawen
5 Marcelino, Sérgio
5 Marcos, João
5 Martelli, Alberto
5 Montagna, Franco
5 Moraschini, Tommaso
5 Németi, István
5 Niu, Meixia
5 Ognjanović, Zoran
5 Raftery, James G.
5 Rönnedal, Daniel
5 Ryzhikov, Vladislav
5 Sá, Samy
5 Schlechta, Karl
5 Sciavicco, Guido
5 Sun, Xin
5 Urbański, Mariusz
5 Vakarelov, Dimiter
4 Andréka, Hajnal
...and 1,412 more Authors
all top 5

Cited in 141 Serials

140 Studia Logica
74 Journal of Applied Non-Classical Logics
73 Artificial Intelligence
71 The Journal of Symbolic Logic
66 Journal of Philosophical Logic
56 Theoretical Computer Science
41 Information and Computation
40 Annals of Pure and Applied Logic
40 International Journal of Approximate Reasoning
37 Journal of Applied Logic
35 The Review of Symbolic Logic
32 Annals of Mathematics and Artificial Intelligence
31 Notre Dame Journal of Formal Logic
31 Synthese
31 Logica Universalis
29 Fuzzy Sets and Systems
25 Journal of Logic, Language and Information
24 Algebra and Logic
24 Archive for Mathematical Logic
20 Siberian Mathematical Journal
20 The Bulletin of Symbolic Logic
18 Journal of Automated Reasoning
17 Logic and Logical Philosophy
12 International Journal of Theoretical Physics
11 Mathematical Logic Quarterly (MLQ)
10 Logical Methods in Computer Science
9 Mathematical Notes
9 Soft Computing
8 Algebra Universalis
8 Information Sciences
8 Journal of Computer and System Sciences
8 History and Philosophy of Logic
8 International Journal of Intelligent Systems
7 MSCS. Mathematical Structures in Computer Science
7 Theory and Practice of Logic Programming
7 ACM Transactions on Computational Logic
6 Publications of the Research Institute for Mathematical Sciences, Kyoto University
6 The Journal of Logic and Algebraic Programming
6 Sibirskie Èlektronnye Matematicheskie Izvestiya
5 Information Processing Letters
5 Formal Aspects of Computing
4 International Journal of General Systems
4 Reviews in Mathematical Physics
4 Kybernetika
4 Bulletin of the Section of Logic
4 New Generation Computing
4 Theory of Computing Systems
4 Journal of Intelligent and Fuzzy Systems
4 Journal of Logical and Algebraic Methods in Programming
4 Journal of Siberian Federal University. Mathematics & Physics
3 Israel Journal of Mathematics
3 Journal of Symbolic Computation
3 Indagationes Mathematicae. New Series
3 The Journal of Artificial Intelligence Research (JAIR)
3 Erkenntnis
3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
3 Foundations of 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
2 Acta Informatica
2 Journal of Mathematical Physics
2 The Mathematical Intelligencer
2 Journal of Algebra
2 Linguistics and Philosophy
2 Transactions of the American Mathematical Society
2 Order
2 Mathematical and Computer Modelling
2 Neural Computation
2 International Journal of Foundations of Computer Science
2 Cybernetics and Systems Analysis
2 Topoi
2 LMS Journal of Computation and Mathematics
2 International Journal of Geometric Methods in Modern Physics
2 Iranian Journal of Fuzzy Systems
2 Proceedings of the Steklov Institute of Mathematics
2 Axioms
2 Nôus
2 European Journal of Mathematics
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Communications in Algebra
1 Computers & Mathematics with Applications
1 Journal of Mathematical Analysis and Applications
1 Physica A
1 Journal of Geometry and Physics
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Advances in Mathematics
1 Applied Mathematics and Computation
1 Geometriae Dedicata
1 Journal of Mathematical Economics
1 Journal of Mathematical Psychology
1 Journal of Pure and Applied Algebra
1 Mathematische Nachrichten
1 Mathematische Zeitschrift
1 Proceedings of the Japan Academy. Series A
1 Programming and Computer Software
1 Ricerche di Matematica
1 European Journal of Combinatorics
1 Cybernetics and Systems
1 Science of Computer Programming
...and 41 more Serials
all top 5

Cited in 37 Fields

1,187 Mathematical logic and foundations (03-XX)
601 Computer science (68-XX)
86 Order, lattices, ordered algebraic structures (06-XX)
47 Quantum theory (81-XX)
36 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
24 History and biography (01-XX)
23 General and overarching topics; collections (00-XX)
15 General algebraic systems (08-XX)
13 Category theory; homological algebra (18-XX)
12 General topology (54-XX)
9 Relativity and gravitational theory (83-XX)
8 Functional analysis (46-XX)
7 Combinatorics (05-XX)
6 Group theory and generalizations (20-XX)
6 Probability theory and stochastic processes (60-XX)
5 Operator theory (47-XX)
5 Information and communication theory, circuits (94-XX)
4 Difference and functional equations (39-XX)
4 Statistics (62-XX)
4 Biology and other natural sciences (92-XX)
3 Number theory (11-XX)
3 Ordinary differential equations (34-XX)
3 Systems theory; control (93-XX)
2 Associative rings and algebras (16-XX)
2 Measure and integration (28-XX)
2 Functions of a complex variable (30-XX)
2 Several complex variables and analytic spaces (32-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Operations research, mathematical programming (90-XX)
1 Algebraic geometry (14-XX)
1 Approximations and expansions (41-XX)
1 Geometry (51-XX)
1 Convex and discrete geometry (52-XX)
1 Differential geometry (53-XX)
1 Numerical analysis (65-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Mathematics education (97-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.