×

zbMATH — the first resource for mathematics

Gabbay, Dov M.

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: IdRef · MGP · Wikidata · dblp · GND
Documents Indexed: 347 Publications since 1971, including 97 Books
Biographic References: 5 Publications
all top 5

Co-Authors

86 single-authored
32 Woods, John
17 Günthner, Franz
17 van der Torre, Leendert W. N.
13 Olivetti, Nicola
12 Schlechta, Karl
11 D’Agostino, Marcello
10 Rodrigues, Odinaldo T.
9 Barringer, Howard
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 Hodkinson, Ian Martin
5 Hogger, Christopher John
5 Kempson, Ruth
5 Lehmann, Daniel J.
5 Robinson, John Alan
5 Villata, Serena
4 Gabbay, Michael J.
4 Hunter, Anthony
4 Nossum, Rolf Tomas
4 Pirri, Fiora
4 Reyle, Uwe
4 Reynolds, Mark Alexander
4 Smets, Philippe
4 Szałas, Andrzej
3 de Rijke, Maarten
3 Gough, Graham
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 Marcelino, Sérgio
2 Martelli, Alberto
2 Nonnengart, Andreas
2 Owens, Richard
2 Posegga, Joachim
2 Rienstra, Tjitze
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 David, Esther
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 Gammaitoni, Loïc
1 Giacomin, Massimiliano
...and 60 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 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 Foundations of Artificial Intelligence
1 Texts in Computing
1 Tributes
1 Handbook of the Philosophy of Science

Publications by Year

Citations contained in zbMATH Open

262 Publications have been cited 2,022 times in 1,365 Documents Cited by Year
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
131
2003
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
95
1994
Semantical investigations in Heyting’s intuitionistic logic. Zbl 0453.03001
Gabbay, Dov M.
84
1981
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L.
68
2005
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
46
2009
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M.
46
1996
A logical account of formal argumentation. Zbl 1188.03011
Caminada, Martin W. A.; Gabbay, Dov M.
45
2009
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
45
1998
Investigations in modal and tense logics with applications to problems in philosophy and linguistics. Zbl 0374.02013
Gabbay, Dov M.
36
1976
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
An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018
Gabbay, D. M.; Hodkinson, I. M.
30
1990
Adding a temporal dimension to a logic system. Zbl 0798.03031
Finger, Marcelo; Gabbay, Dov M.
30
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
Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015
Gabbay, Dov; Metcalfe, George
29
2007
Theoretical foundations for non-monotonic reasoning in expert systems. Zbl 0581.68068
Gabbay, D. M.
29
1985
Handbook of logic in artificial intelligence and logic programming. Vol. 3: Nonmonotonic reasoning and uncertain reasoning. Zbl 0804.03017
Gabbay, Dov M. (ed.); Hogger, C. J. (ed.); Robinson, J. A. (ed.); Nute, D. (ed.)
27
1994
Fibring logics. Zbl 0909.03001
Gabbay, Dov M.
25
1999
Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij. Zbl 1184.81003
Engesser, Kurt (ed.); Gabbay, Dov M. (ed.); Lehmann, Daniel (ed.)
25
2009
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
21
2008
Temporal logic. 1st International Conference, ICTL ’94, Bonn, Germany, July 11-14, 1994. Proceedings. Zbl 0875.03007
Gabbay, Dov M. (ed.); Ohlbach, Hans J. (ed.)
21
1994
The reach of abduction. Insight and trial. Zbl 1078.03002
Gabbay, Dov M.; Woods, John
20
2005
Handbook of philosophical logic. Volume II: Extensions of classical logic. Zbl 0572.03003
Gabbay, D. (ed.); Guenthner, F. (ed.)
20
1984
N-PROLOG: An extension of PROLOG with hypothetical implications. I. Zbl 0576.68001
Gabbay, D. M.; Reyle, U.
20
1984
An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. Zbl 0519.03008
Gabbay, Dov M.
20
1981
Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Zbl 1189.68127
Wu, Yining; Caminada, Martin; Gabbay, Dov M.
18
2009
Second-order quantifier elimination. Foundations, computational aspects and applications. Zbl 1165.03011
Gabbay, Dov M.; Schmidt, Renate A.; Szałas, Andrzej
18
2008
Fibring argumentation frames. Zbl 1185.68670
Gabbay, Dov M.
17
2009
Fibred semantics and the weaving of logics. I: Modal and intuitionistic logics. Zbl 0872.03007
Gabbay, D. M.
17
1996
Applications of trees to intermediate logics. Zbl 0243.02019
Gabbay, Dov M.
16
1972
On 2nd order intuitionistic propositional calculus with full comprehension. Zbl 0289.02016
Gabbay, Dov M.
16
1974
Logical modes of attack in argumentation networks. Zbl 1185.68671
Gabbay, Dov M.; Garcez, Artur S.d’Avila
15
2009
Handbook of quantum logic and quantum structure. Quantum structures. Zbl 1119.81005
Engesser, Kurt (ed.); Gabbay, Dov. M. (ed.); Lehmann, Daniel (ed.)
15
2007
Handbook of deontic logic and normative systems. Zbl 1309.03001
Gabbay, Dov (ed.); Horty, John (ed.); Parent, Xavier (ed.); van der Meyden, Ron (ed.); van der Torre, Leendert (ed.)
15
2013
The decidability of the Kreisel-Putnam system. Zbl 0228.02013
Gabbay, Dov M.
14
1971
On some new intuitionistic propositional connectives. I. Zbl 0363.02026
Gabbay, Dov M.
14
1977
N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure. Zbl 0595.68004
Gabbay, D. M.
14
1985
Symbolic knowledge extraction from trained neural networks: A sound approach. Zbl 0969.68124
d’Avila Garcez, A. S.; Broda, K.; Gabbay, D. M.
13
2001
Handbook of philosophical logic. Vol. 8. 2nd ed. Zbl 1055.03002
Gabbay, D. M. (ed.); Guenthner, F. (ed.)
12
2002
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
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
12
2009
Handbook of logic in computer science. Vol. 3: Semantic structures. Zbl 0829.68111
Abramsky, S. (ed.); Gabbay, D. M. (ed.); Maibaum, T. S. E. (ed.)
12
1994
Reactive Kripke models and contrary to duty obligations. Zbl 1144.03012
Gabbay, Dov M.
11
2008
Handbook of tableau methods. Zbl 0956.03001
D’Agostino, Marcello (ed.); Gabbay, Dov M. (ed.); Hähnle, Reiner (ed.); Posegga, Joachim (ed.)
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
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
11
2005
Handbook of defeasible reasoning and uncertainty management systems. Vol. 2: Reasoning with actual and potential contradictions. Zbl 0908.90002
Besnard, Philippe (ed.); Hunter, Anthony (ed.); Gabbay, Dov M. (ed.)
10
1998
What is a logical system? Zbl 0824.03004
Gabbay, D. M.
10
1994
What is negation? Zbl 0957.00012
Gabbay, Dov M. (ed.); Wansing, Heinrich (ed.)
10
1999
Model theory for tense logics. Zbl 0307.02014
Gabbay, Dov M.
10
1975
A general filtration method for modal logics. Zbl 0248.02025
Gabbay, Dov M.
9
1972
Decidability of some intuitionistic predicate theories. Zbl 0266.02025
Gabbay, Dov M.
9
1972
Semantics for higher level attacks in extended argumentation frames. I: Overview. Zbl 1185.68669
Gabbay, Dov M.
9
2009
A proof theoretical approach to default reasoning. I: Tableaux for default logic. Zbl 0859.03027
Amati, Gianni; Aiello, Luigia Carlucci; Gabbay, Dov; Pirri, Fiora
9
1996
Encoding two-valued nonclassical logics in classical logic. Zbl 0992.03019
Ohlbach, Hans Jürgen; Nonnengart, Andreas; de Rijke, Maarten; Gabbay, Dov M.
9
2001
Analytic calculi for product logics. Zbl 1066.03036
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
8
2004
Model theory for intuitionistic logic. Zbl 0242.02059
Gabbay, Dov M.
8
1972
MetateM: An introduction. Zbl 0838.68014
Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R.
8
1995
Expressive functional completeness in tense logic. (Preliminary report). Zbl 0523.03017
Gabbay, Dov M.
8
1981
Decidability results in non-classical logics. I. Zbl 0309.02053
Gabbay, Dov M.
8
1975
Handbook of philosophical logic. Volume III: Alternatives to classical logic. Zbl 0603.03001
Gabbay, D. (ed.); Guenthner, F. (ed.)
8
1986
Craig’s interpolation theorem for modal logics. Zbl 0233.02009
Gabbay, Dov M.
7
1972
Modal provability foundations for argumentation networks. Zbl 1188.03012
Gabbay, Dov M.
7
2009
Handbook of paraconsistency. Zbl 1206.03030
Béziau, Jean-Yves (ed.); Carnielli, Walter (ed.); Gabbay, Dov (ed.)
7
2007
Reactive preferential structures and nonmonotonic consequence. Zbl 1174.03010
Gabbay, Dov M.; Schlechta, Karl
7
2009
Neural-symbolic learning systems. Foundations and applications. Zbl 1055.68090
d’Avila Garcez, Artur S.; Broda, Krysia B.; Gabbay, Dov M.
7
2002
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
7
2000
Temporal expressive completeness in the presence of gaps. Zbl 0802.03016
Gabbay, D. M.; Hodkinson, I. M.; Reynolds, M. A.
7
1993
Handbook of temporal reasoning in artificial intelligence. Zbl 1099.68106
Fisher, Michael (ed.); Gabbay, Dov (ed.); Vila, Lluis (ed.)
7
2005
Abduction in labelled deductive systems. Zbl 0970.68162
Gabbay, D. M.
7
2000
The new logic. Zbl 0984.03032
Gabbay, Dov; Woods, John
7
2001
Interpolation in practical formal development. Zbl 0981.03035
Bicarregui, Juan; Dimitrakos, Theo; Gabbay, Dov; Maibaum, Tim
7
2001
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
7
2000
Negation as inconsistency. I. Zbl 0606.68086
Gabbay, D. M.; Sergot, M. J.
7
1986
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
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
Handbook of logic in computer science. Vol. 2: Background: Computational structures. Zbl 0777.68001
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.)
6
1992
Handbook of defeasible reasoning and uncertainty management systems. Vol. 1: Quantified representation of uncertainty and imprecision. Zbl 0908.90001
Gabbay, Dov M. (ed.); Smets, Philippe (ed.)
6
1998
Temporal logic in the context of databases. Zbl 0919.03018
Gabbay, Dov; Hodkinson, Ian
6
1996
Products of modal logics. III. Products of modal and temporal logics. Zbl 1014.03023
Gabbay, Dov; Shehtman, Valentin
6
2002
Labelled deductive systems: A position paper. Zbl 0794.03014
Gabbay, D. M.
6
1993
Combining temporal logic systems. Zbl 0857.03008
Finger, Marcelo; Gabbay, Dov
6
1996
Cut and pay. Zbl 1108.03034
Finger, Marcelo; Gabbay, Dov
6
2006
Handbook of philosophical logic. Vol. I: Elements of classical logic. Zbl 0538.03001
Gabbay, D. (ed.); Guenthner, F. (ed.)
6
1983
Reactive automata. Zbl 1210.68067
Crochemore, Maxime; Gabbay, Dov M.
6
2011
Semantics and proof-theory of depth bounded Boolean logics. Zbl 1315.03107
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
6
2013
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
Resource-origins of nonmonotonicity. Zbl 1149.03006
Gabbay, Dov; Woods, John
5
2008
A new approach to quantum logic. Zbl 1162.03035
Engesser, Kurt; Gabbay, Dov M.; Lehmann, Daniel
5
2007
Goal-directed proof theory. Zbl 0992.03004
Gabbay, Dov M.; Olivetti, Nicola
5
2000
Meta-reasoning in executable temporal logic. Zbl 0825.68584
Barringer, Howard; Fisher, Michael; Gabbay, Dov; Hunter, Anthony
5
1991
Modal and temporal logic programming. Zbl 0662.03016
Gabbay, Dov
5
1987
Undecidability of modal and intermediate first-order logics with two individual variables. Zbl 0797.03002
Gabbay, D. M.; Shekhtman, V. B.
5
1993
Agenda relevance: a study in formal pragmatics. Zbl 1092.03001
Gabbay, Dov M.; Woods, John
5
2003
A theory of hypermodal logics: Mode shifting in modal logic. Zbl 1009.03012
Gabbay, D. M.
5
2002
Craig interpolation theorem for intuitionistic logic and extensions. III. Zbl 0372.02016
Gabbay, Dov M.
5
1977
Handbook of formal argumentation. Zbl 1395.03005
Baroni, Pietro; Gabbay, Dov; Giacomin, Massimiliano; van der Torre, Leendert
4
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
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.
3
2015
The attack as strong negation. I. Zbl 1405.03027
Gabbay, D.; Gabbay, M.
1
2015
Equilibrium states in numerical argumentation networks. Zbl 1346.68185
Gabbay, D. M.; Rodrigues, O.
1
2015
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
The paradoxes of permission an action based solution. Zbl 1317.03025
Gabbay, Dov; Gammaitoni, Loïc; Sun, Xin
3
2014
An equational approach to the merging of argumentation networks. Zbl 1303.68127
Gabbay, Dov. M.; Rodrigues, Odinaldo
3
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
The equational approach to contrary-to-duty obligations. Zbl 1300.03016
Gabbay, Dov M.
1
2014
When are two arguments the same? Equivalence in abstract argumentation. Zbl 1335.03004
Gabbay, Dov; Grossi, Davide
1
2014
Intuitionistic basis for input/output logic. Zbl 1311.03041
Parent, Xavier; Gabbay, Dov; van der Torre, Leendert
1
2014
What is a logical system? An evolutionary view: 1964–2014. Zbl 1404.03009
Gabbay, Dov M.
1
2014
Handbook of deontic logic and normative systems. Zbl 1309.03001
Gabbay, Dov; Horty, John; Parent, Xavier; van der Meyden, Ron; van der Torre, Leendert
15
2013
Semantics and proof-theory of depth bounded Boolean logics. Zbl 1315.03107
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
6
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 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
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
A numerical approach to the merging of argumentation networks. Zbl 1361.68227
Gabbay, Dov; Rodrigues, Odinaldo
5
2012
Modelling defeasible and prioritized support in bipolar argumentation. Zbl 1280.68255
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert
5
2012
Introducing reactive Kripke semantics and arc accessibility. Zbl 1272.03097
Gabbay, Dov
4
2012
Sets and extensions in the twentieth century. Zbl 1236.03005
Gabbay, Dov. M.; Kanamori, Akihiro; Woods, John
3
2012
The functional interpretation of logical deduction. Zbl 1248.03003
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.; Gabbay, Dov M.
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
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
Embedding and automating conditional logics in classical higher-order logic. Zbl 1272.03064
Benzmüller, Christoph; Gabbay, Dov; Genovese, Valerio; Rispoli, Daniele
2
2012
Sequential dynamic logic. Zbl 1305.03020
Bochman, Alexander; Gabbay, Dov M.
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
Completeness theorems for reactive modal logics. Zbl 1296.03017
Gabbay, Dov
1
2012
Introducing reactive modal tableaux. Zbl 1271.03028
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.
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
Dung’s argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger. Zbl 1280.03007
Gabbay, Dov M.
3
2011
Delegation, count as, and security in Talmudic logic, a preliminary study. Zbl 1261.03103
Abraham, M.; Belfer, R.; Gabbay, D.; Schild, U.
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
Inductive logic. Zbl 1225.03001
Gabbay, Dov M.; Hartmann, Stephan; Woods, John
1
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
Higher-order coalition logic. Zbl 1211.03034
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert
4
2010
Obligations and prohibitions in Talmudic deontic logic. Zbl 1250.03030
Abraham, Michael; Gabbay, Dov M.; Schild, Uri
3
2010
A theory of hierarchical consequence and conditionals. Zbl 1193.03037
Gabbay, Dov M.; Schlechta, Karl
3
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
Logical tools for handling change in agent-based systems. Zbl 1215.68219
Gabbay, Dov M.; Schlechta, Karl
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
46
2009
A logical account of formal argumentation. Zbl 1188.03011
Caminada, Martin W. A.; Gabbay, Dov M.
45
2009
Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij. Zbl 1184.81003
Engesser, Kurt; Gabbay, Dov M.; Lehmann, Daniel
25
2009
Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Zbl 1189.68127
Wu, Yining; Caminada, Martin; Gabbay, Dov M.
18
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
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
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
12
2009
Semantics for higher level attacks in extended argumentation frames. I: Overview. Zbl 1185.68669
Gabbay, Dov M.
9
2009
Modal provability foundations for argumentation networks. Zbl 1188.03012
Gabbay, Dov M.
7
2009
Reactive preferential structures and nonmonotonic consequence. Zbl 1174.03010
Gabbay, Dov M.; Schlechta, Karl
7
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
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
Neural-symbolic cognitive reasoning. Zbl 1188.68241
d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.
4
2009
Fibred security language. Zbl 1181.03033
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert
4
2009
Annotation theories over finite graphs. Zbl 1185.03057
Gabbay, Dov M.; Szałas, Andrzej
3
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
Nonmonotonicity and holicity in quantum logic. Zbl 1273.81019
Engesser, Kurt; Gabbay, Dov; Lehmann, Daniel
1
2009
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
21
2008
Second-order quantifier elimination. Foundations, computational aspects and applications. Zbl 1165.03011
Gabbay, Dov M.; Schmidt, Renate A.; Szałas, Andrzej
18
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
Introducing reactive Kripke semantics and arc accessibility. Zbl 1134.03012
Gabbay, Dov M.
4
2008
Cumulativity without closure of the domain under finite unions. Zbl 1205.03041
Gabbay, Dov M.; Schlechta, Karl
4
2008
Cut-based abduction. Zbl 1156.03032
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
3
2008
Belief revision in non-classical logics. Zbl 1208.03020
Gabbay, Dov; Rodrigues, Odinaldo; Russo, Alessandra
3
2008
Network modalities: an exploration paper. Zbl 1269.03024
Barringer, Howard; Gabbay, Dov; Woods, John
3
2008
British logic in the nineteenth century. Zbl 1135.03303
Gabbay, Dov M.; Woods, John
2
2008
A sound and complete deductive system for CTL\(^*\) verification. Zbl 1156.68036
Gabbay, Dov M.; Pnueli, Amir
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
Engesser, Kurt; Gabbay, Dov. M.; Lehmann, Daniel
15
2007
Handbook of paraconsistency. Zbl 1206.03030
Béziau, Jean-Yves; Carnielli, Walter; Gabbay, Dov
7
2007
A new approach to quantum logic. Zbl 1162.03035
Engesser, Kurt; Gabbay, Dov M.; Lehmann, Daniel
5
2007
Equal rights for the cut: Computable non-analytic cuts in cut-based proofs. Zbl 1159.03038
Finger, Marcelo; Gabbay, Dov
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
Logic for artificial intelligence and information technology. Zbl 1190.68058
Gabbay, Dov M.
2
2007
The many valued and nonmonotonic turn in logic. Zbl 1135.03302
Gabbay, Dov M.; Woods, John
2
2007
Handbook of philosophical logic. Vol. 14. 2nd ed. Zbl 1259.03001
Gabbay, Dov M.; Guenthner, F.
2
2007
Philosophy of logic. Zbl 1107.03001
Jacquette, Dale; Gabbay, Dov. M.; Thagard, Paul; Woods, John
1
2007
Cut and pay. Zbl 1108.03034
Finger, Marcelo; Gabbay, Dov
6
2006
Advice on abductive logic. Zbl 1108.03008
Gabbay, Dov; Woods, John
5
2006
Logic and the modalities in the twentieth century. Zbl 1135.03301
Gabbay, Dov M.; Woods, John
4
2006
...and 162 more Documents
all top 5

Cited by 1,361 Authors

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

Cited in 130 Serials

134 Studia Logica
72 Journal of Applied Non-Classical Logics
69 The Journal of Symbolic Logic
64 Artificial Intelligence
64 Journal of Philosophical Logic
53 Theoretical Computer Science
37 Annals of Pure and Applied Logic
37 Information and Computation
37 Journal of Applied Logic
35 International Journal of Approximate Reasoning
32 Annals of Mathematics and Artificial Intelligence
32 The Review of Symbolic Logic
30 Notre Dame Journal of Formal Logic
30 Synthese
29 Fuzzy Sets and Systems
26 Logica Universalis
24 Archive for Mathematical Logic
24 Journal of Logic, Language and Information
23 Algebra and Logic
19 The Bulletin of Symbolic Logic
18 Journal of Automated Reasoning
17 Siberian Mathematical Journal
12 Logic and Logical Philosophy
11 International Journal of Theoretical Physics
11 Mathematical Logic Quarterly (MLQ)
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
6 Logical Methods in Computer Science
5 Information Processing Letters
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 Formal Aspects of Computing
4 Theory of Computing Systems
4 Journal of Intelligent and Fuzzy Systems
4 Journal of Logical and Algebraic Methods in Programming
3 Israel Journal of Mathematics
3 Journal of Symbolic Computation
3 Indagationes Mathematicae. New Series
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 Erkenntnis
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
2 Journal of Siberian Federal University. Mathematics & Physics
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Communications in Algebra
1 Computers & Mathematics with Applications
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 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
1 Mathematical Social Sciences
1 Algorithmica
1 Neural Networks
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
...and 30 more Serials

Citations by Year

Wikidata Timeline

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