Dov M. Gabbay

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre: A socio-cognitive model of trust using argumentation theory. Int. J. Approx. Reasoning 54(4): 541-559 (2013)

Dov M. Gabbay: Reactive Kripke models and contrary to duty obligations. Part A: Semantics. J. Applied Logic 11(1): 103-136 (2013)

Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay: Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. 480: 43-68 (2013)

Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber: Normative Reasoning and Consequence. Normative Multi-Agent Systems 2013: 33-70

Michael Abraham, Dov M. Gabbay, Uri J. Schild: Contrary to time conditionals in Talmudic logic. Artif. Intell. Law 20(2): 145-179 (2012)

Dov M. Gabbay: Overview on the connection between reactive Kripke models and argumentation networks. Ann. Math. Artif. Intell. 66(1-4): 1-5 (2012)

Dov M. Gabbay: Introducing reactive Kripke semantics and arc accessibility. Ann. Math. Artif. Intell. 66(1-4): 7-53 (2012)

Dov M. Gabbay: Introducing reactive modal tableaux. Ann. Math. Artif. Intell. 66(1-4): 55-79 (2012)

Dov M. Gabbay: Completeness theorems for reactive modal logics. Ann. Math. Artif. Intell. 66(1-4): 81-129 (2012)

Dov M. Gabbay, Sérgio Marcelino: Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66(1-4): 131-162 (2012)

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre: Modelling defeasible and prioritized support in bipolar argumentation. Ann. Math. Artif. Intell. 66(1-4): 163-197 (2012)

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre, Joris Hulstijn: A logic of argumentation for specification and verification of abstract argumentation frameworks. Ann. Math. Artif. Intell. 66(1-4): 199-230 (2012)

Alexander Bochman, Dov M. Gabbay: Causal dynamic inference. Ann. Math. Artif. Intell. 66(1-4): 231-256 (2012)

Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli: Embedding and automating conditional logics in classical higher-order logic. Ann. Math. Artif. Intell. 66(1-4): 257-271 (2012)

Alexander Bochman, Dov M. Gabbay: Sequential Dynamic Logic. Journal of Logic, Language and Information 21(3): 279-298 (2012)

Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Marija Slavkovic: Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Synthese 187(2): 623-660 (2012)

Dov M. Gabbay: What Is Negation as Failure? Logic Programs, Norms and Action 2012: 52-78

Dov M. Gabbay: An Equational Approach to Logic Programming. Correct Reasoning 2012: 279-295

Dov M. Gabbay: Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. CLIMA 2012: 1-24

Dov M. Gabbay, Odinaldo Rodrigues: A Numerical Approach to the Merging of Argumentation Networks. CLIMA 2012: 195-212

Dov M. Gabbay: The Equational Approach to CF2 Semantics. COMMA 2012: 141-152

Dov M. Gabbay: Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. DEON 2012: 91-107

Jan Broersen, Dov M. Gabbay, Leendert van der Torre: Discussion Paper: Changing Norms Is Changing Obligation Change. DEON 2012: 199-214

Dov M. Gabbay: The Equational Approach to CF2 Semantics. CoRR abs/1203.0220 (2012)

Dov M. Gabbay, Karl Schlechta: Conditionals and Modularity in General Logics. Cognitive Technologies, Springer 2011, isbn 978-3-642-19067-4, pp. 1-221

Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin (Eds.): Approaches to Legal Rationality. Logic, Epistemology, and the Unity of Science 20, Springer 2011, isbn 978-90-481-9587-9

Michael Abraham, Dov M. Gabbay, Uri J. Schild: Obligations and prohibitions in Talmudic deontic logic. Artif. Intell. Law 19(2-3): 117-148 (2011)

Maxime Crochemore, Dov M. Gabbay: Reactive automata. Inf. Comput. 209(4): 692-704 (2011)

Dov M. Gabbay, David Pearce, Agustín Valverde: Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. (JAIR) 42: 917-943 (2011)

Dov M. Gabbay: Dung's Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger. Logica Universalis 5(2): 255-318 (2011)

Dov M. Gabbay: Reactive intuitionistic tableaux. Synthese 179(2): 253-269 (2011)

Dov M. Gabbay: Introducing Equational Semantics for Argumentation Networks. ECSQARU 2011: 19-35

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre: Arguing about the Trustworthiness of the Information Sources. ECSQARU 2011: 74-85

Michal Chalamish, Dov M. Gabbay, Uri J. Schild: Intelligent evaluation of evidence using Wigmore diagrams. ICAIL 2011: 61-65

Alan Perotti, Guido Boella, Dov M. Gabbay, Leon van der Torre, Serena Villata: Conditional Labelling for Abstract Argumentation. ICCSW 2011: 59-65

Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata: Argumentative Agents Negotiating on Potential Attacks. KES-AMSTA 2011: 280-290

Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert van der Torre: Multi-sorted Argumentation. TAFA 2011: 215-231

Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata: Conditional Labelling for Abstract Argumentation. TAFA 2011: 232-248

Dov M. Gabbay, John Woods: Logic and the Law: Crossing the Lines of Discipline. Approaches to Legal Rationality 2011: 165-201

Dov M. Gabbay, John Woods: Relevance in the Law. Approaches to Legal Rationality 2011: 239-261

Dov M. Gabbay, John Woods: The Law of Evidence and Labelled Deduction: A Position Paper. Approaches to Legal Rationality 2011: 295-331

Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli: Embedding and Automating Conditional Logics in Classical Higher-Order Logic. CoRR abs/1106.3685 (2011)

Dov M. Gabbay, Karl Schlechta: Equilibria und weiteres Heiteres II. CoRR abs/1108.3033 (2011)

Dov M. Gabbay, Karl Schlechta: Logical Tools for Handling Change in Agent-Based Systems. Cognitive Technologies, Springer 2010, isbn 978-3-642-04406-9, pp. I-X, 1-305

Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo: Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. Cognitive Technologies, Springer 2010, isbn 978-3-642-14158-4, pp. I-X, 1-385

Dov M. Gabbay, Jörg H. Siekmann: Algorithms in cognition, informatics and logic: A position manifesto. Logic Journal of the IGPL 18(6): 763-768 (2010)

Dov M. Gabbay, Karl Schlechta: Semantic interpolation. Journal of Applied Non-Classical Logics 20(4): 345-371 (2010)

Dov M. Gabbay, Karl Schlechta: A Theory of Hierarchical Consequence and Conditionals. Journal of Logic, Language and Information 19(1): 3-32 (2010)

Dov M. Gabbay, Karl Schlechta: A Comment on Work by Booth and Co-authors. Studia Logica 94(3): 403-432 (2010)

Howard Barringer, Dov M. Gabbay: Modal and Temporal Argumentation Networks. Essays in Memory of Amir Pnueli 2010: 1-25

Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata: Support in Abstract Argumentation. COMMA 2010: 111-122

Michael Abraham, Dov M. Gabbay, Uri J. Schild: Obligations and Prohibitions in Talmudic Deontic Logic. DEON 2010: 166-178

Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre: Higher-Order Coalition Logic. ECAI 2010: 555-560

Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre: Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. STAIRS 2010: 114-126

Maxime Crochemore, Dov M. Gabbay: Reactive Links to Save Automata States. Stringology 2010: 1-8

Dov M. Gabbay, David Pearce, Agustín Valverde: Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case. CoRR abs/1012.3947 (2010)

Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Cognitive Reasoning. Cognitive Technologies, Springer 2009, isbn 978-3-540-73245-7

Dov M. Gabbay, Karl Schlechta: Defeasible inheritance systems and reactive diagrams. Logic Journal of the IGPL 17(1): 1-54 (2009)

Howard Barringer, Dov M. Gabbay, David E. Rydeheard: Modelling evolvable component systems: Part I: A logical framework. Logic Journal of the IGPL 17(6): 631-696 (2009)

Dov M. Gabbay, Karl Schlechta: Roadmap for preferential logics. Journal of Applied Non-Classical Logics 19(1): 43-95 (2009)

Dov M. Gabbay, Odinaldo Rodrigues, Gabriella Pigozzi: Connections between Belief Revision, Belief Merging and Social Choice. J. Log. Comput. 19(3): 445-446 (2009)

Michael Abraham, Dov M. Gabbay, Uri J. Schild: Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction. Studia Logica 92(3): 281-364 (2009)

Dov M. Gabbay, Andrzej Szalas: Voting by Eliminating Quantifiers. Studia Logica 92(3): 365-379 (2009)

Dov M. Gabbay, Karl Schlechta: Independence - Revision and Defaults. Studia Logica 92(3): 381-394 (2009)

Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre: Fibred Security Language. Studia Logica 92(3): 395-436 (2009)

Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese: A Meta-model of Access Control in a Fibred Security Language. Studia Logica 92(3): 437-477 (2009)

Dov M. Gabbay, Leendert van der Torre: Preface for Studia Logica Special Issue (2). Studia Logica 93(2-3): 105-108 (2009)

Martin W. A. Caminada, Dov M. Gabbay: A Logical Account of Formal Argumentation. Studia Logica 93(2-3): 109-145 (2009)

Dov M. Gabbay, Andrzej Szalas: Annotation Theories over Finite Graphs. Studia Logica 93(2-3): 147-180 (2009)

Dov M. Gabbay: Modal Provability Foundations for Argumentation Networks. Studia Logica 93(2-3): 181-198 (2009)

Dov M. Gabbay, Artur S. d'Avila Garcez: Logical Modes of Attack in Argumentation Networks. Studia Logica 93(2-3): 199-230 (2009)

Dov M. Gabbay: Fibring Argumentation Frames. Studia Logica 93(2-3): 231-295 (2009)

Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata: Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica 93(2-3): 297-355 (2009)

Dov M. Gabbay: Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. Studia Logica 93(2-3): 357-381 (2009)

Yining Wu, Martin Caminada, Dov M. Gabbay: Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Studia Logica 93(2-3): 383-403 (2009)

Dov M. Gabbay, Sérgio Marcelino: Modal Logics of Reactive Frames. Studia Logica 93(2-3): 405-446 (2009)

Dov M. Gabbay, John Woods: Fallacies as Cognitive Virtues. Games: Unifying Logic, Language, and Philosophy 2009: 57-98

Dov M. Gabbay, Amir Pnueli: A Sound and Complete Deductive System for CTL* Verification. Logic Journal of the IGPL 16(6): 499-536 (2008)

Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay: Cut-Based Abduction. Logic Journal of the IGPL 16(6): 537-560 (2008)

Dov M. Gabbay, John Woods: Resource-origins of Nonmonotonicity. Studia Logica 88(1): 85-112 (2008)

Dov M. Gabbay: Introducing Reactive Kripke Semantics and Arc Accessibility. Pillars of Computer Science 2008: 292-341

Dov M. Gabbay: Reactive Kripke Models and Contrary to Duty Obligations. DEON 2008: 155-173

Davide Grossi, Dov M. Gabbay, Leendert van der Torre: A Normative View on the Blocks World. NORMAS 2008: 128-142

Dov M. Gabbay, George Metcalfe: Fuzzy logics based on [0, 1)-continuous uninorms. Arch. Math. Log. 46(5-6): 425-449 (2007)

Marcelo Finger, Dov M. Gabbay: Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Logic Journal of the IGPL 15(5-6): 553-575 (2007)

Dov M. Gabbay, Andrzej Szalas: Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals. Studia Logica 87(1): 37-50 (2007)

Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Connectionist modal logic: Representing modalities in neural networks. Theor. Comput. Sci. 371(1-2): 34-53 (2007)

Dov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues: Common Foundations for belief revision, belief merging and voting. Formal Models of Belief Change in Rational Agents 2007

Howard Barringer, Dov M. Gabbay, David E. Rydeheard: From Runtime Verification to Evolvable Systems. RV 2007: 97-110

Howard Barringer, David E. Rydeheard, Dov M. Gabbay: A Logical Framework for Monitoring and Evolving Software Components. TASE 2007: 273-282

Dov M. Gabbay, John Woods: Advice on Abductive Logic. Logic Journal of the IGPL 14(2): 189-219 (2006)

Marcelo Finger, Dov M. Gabbay: Cut and Pay. Journal of Logic, Language and Information 15(3): 195-218 (2006)

Dov M. Gabbay, Rolf Nossum, John Woods: Context-dependent Abduction and Relevance. J. Philosophical Logic 35(1): 65-81 (2006)

Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Connectionist computations of intuitionistic reasoning. Theor. Comput. Sci. 358(1): 34-55 (2006)

Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(4): 363 (2005)

Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(5): 491 (2005)

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Lukasiewicz Logic: From Proof Systems To Logic Programming. Logic Journal of the IGPL 13(5): 561-585 (2005)

Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. J. Log. Comput. 15(6): 1041-1058 (2005)

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Sequent and hypersequent calculi for abelian and łukasiewicz logics. ACM Trans. Comput. Log. 6(3): 578-613 (2005)

Howard Barringer, Dov M. Gabbay, John Woods: Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Mechanizing Mathematical Reasoning 2005: 59-98

Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: A Connectionist Model for Constructive Modal Reasoning. NIPS 2005

Daniel Lehmann, Kurt Engesser, Dov M. Gabbay: Algebras of Measurements: the logical structure of Quantum Mechanics. CoRR abs/quant-ph/0507231 (2005)

Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul Van Bendegem (Eds.): Logic, Epistemology, and the Unity of Science. Logic, Epistemology, and the Unity of Science 1, Springer 2004, isbn 978-90-481-2486-2

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Calculi for Product Logics. Arch. Math. Log. 43(7): 859-890 (2004)

Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay: Applying connectionist modal logics to distributed knowledge representation problems. International Journal on Artificial Intelligence Tools 13(1): 115-139 (2004)

Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor: Journal of Applied Logic Special Volume on Neural-Symbolic Systems. J. Applied Logic 2(3): 241-243 (2004)

Artur S. d'Avila Garcez, Dov M. Gabbay: Fibring Neural Networks. AAAI 2004: 342-347

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Methods for Lukasiewicz Logic. CSL 2004: 85-99

Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988

Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612

Dov M. Gabbay, Odinaldo Rodrigues, John Woods: Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics. Logic, Epistemology, and the Unity of Science 2004: 291-326

Dov M. Gabbay, John Woods: Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches. Logic Journal of the IGPL 11(6): 597-613 (2003)

Jon Williamson, Dov M. Gabbay: Special issue on Combining Probability and Logic. J. Applied Logic 1(3-4): 135-138 (2003)

Dov M. Gabbay: Editorial. J. Log. Comput. 13(1): 1 (2003)

Dov M. Gabbay, Gabriella Pigozzi, John Woods: Controlled Revision - An algorithmic approach for belief revision. J. Log. Comput. 13(1): 3-22 (2003)

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Calculli for Gödel-Dummett Logics. CSL 2003: 413-426

Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay: Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS Conference 2003: 271-275

Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408

Kurt Engesser, Dov M. Gabbay: Quantum logic, Hilbert space, revision theory. Artif. Intell. 136(1): 61-100 (2002)

Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo: Labelled Natural Deduction for Conditional Logics of Normality. Logic Journal of the IGPL 10(2): 123-163 (2002)

Dov M. Gabbay, Odinaldo Rodrigues, John Woods: Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. Logic Journal of the IGPL 10(6): 601-652 (2002)

Dov M. Gabbay, G. Malod: Naming Worlds in Modal and Temporal Logic. Journal of Logic, Language and Information 11(1): 29-65 (2002)

Dov M. Gabbay: A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. J. Philosophical Logic 31(3): 211-243 (2002)

Dov M. Gabbay, Valentin B. Shehtman: Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. Studia Logica 72(2): 157-183 (2002)

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX 2002: 191-205

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics. CoRR cs.LO/0211021 (2002)

Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay: Dynamic syntax - the flow of language understanding. Blackwell 2001, isbn 978-0-631-17613-8, pp. I-XII, 1-348

Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay: Symbolic knowledge extraction from trained neural networks: A sound approach. Artif. Intell. 125(1-2): 155-207 (2001)

Jim Cunningham, Dov M. Gabbay: Editorial. Logic Journal of the IGPL 9(2): 139-140 (2001)

Dov M. Gabbay, John Woods: The New Logic. Logic Journal of the IGPL 9(2): 141-174 (2001)

Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): 231-244 (2001)

Dov M. Gabbay, John Woods: More on Non-Cooperation in Dialogue Logic. Logic Journal of the IGPL 9(2): 305-324 (2001)

Dov M. Gabbay: Editorial. J. Log. Comput. 11(1): 1 (2001)

Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay: Encoding Two-Valued Nonclassical Logics in Classical Logic. Handbook of Automated Reasoning 2001: 1403-1486

Dov M. Gabbay, Valentin B. Shehtman: Products of modal logics. Part 2: Relativised quantifiers in classical logic. Logic Journal of the IGPL 8(2): 165-210 (2000)

Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino: Conditional reasoning in logic programming. J. Log. Program. 44(1-3): 37-74 (2000)

Stéphane Demri, Dov M. Gabbay: On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Studia Logica 65(3): 323-353 (2000)

Stéphane Demri, Dov M. Gabbay: On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Studia Logica 66(3): 349-384 (2000)

Dov M. Gabbay: Editorial. Logic Journal of the IGPL 7(3): 266-276 (1999)

Dov M. Gabbay: What's on My Mind... J. Log. Comput. 9(1): 3-6 (1999)

Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. J. Log. Comput. 9(1): 25-45 (1999)

Krysia Broda, Dov M. Gabbay: CLDS for Propositional Intuitionistic Logic. TABLEAUX 1999: 66-81

Dov M. Gabbay: Elementary logics - a procedural perspective. Prentice Hall series in computer science, Prentice Hall 1998, isbn 978-0-13-726365-3, pp. I-XIV, 1-365

Dov M. Gabbay, Valentin B. Shehtman: Products of Modal Logics, Part 1. Logic Journal of the IGPL 6(1): 73-146 (1998)

Hans Jürgen Ohlbach, Dov M. Gabbay: Calendar Logic. Journal of Applied Non-Classical Logics 8(4): 291-323 (1998)

Dov M. Gabbay: Editorial. J. Log. Comput. 8(1): 3 (1998)

Dov M. Gabbay, Nicola Olivetti: Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61(2): 237-280 (1998)

Dov M. Gabbay: Soft computing, labelling and granulation. Soft Comput. 2(1): 12-13 (1998)

Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti: Cut-free proof systems for logics of weak excluded middle. Soft Comput. 2(4): 147-156 (1998)

Dov M. Gabbay: Dznamics of Practical Reasoning: A Position Paper. Advances in Modal Logic 1998: 179-224

Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt: WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems 1998: 605

Bernhard Beckert, Dov M. Gabbay: Fibring Semantic Tableaux. TABLEAUX 1998: 77-92

Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson: Parsing Natural Language using LDS: A Prototype. Logic Journal of the IGPL 5(5): 647-671 (1997)

Dov M. Gabbay, Fiora Pirri: Combining Logic I - Introduction. Studia Logica 59(1): 1-4 (1997)

Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo: Grafting Modalities onto Substructural Implication Systems. Studia Logica 59(1): 65-102 (1997)

Dov M. Gabbay, Fiora Pirri: Combining Logic II - Introduction. Studia Logica 59(1): 147-148 (1997)

Dov M. Gabbay, Uwe Reyle: Labelled Resolution for Classical and Non-classical Logics. Studia Logica 59(1): 179-216 (1997)

Dov M. Gabbay, Odinaldo Rodrigues: Structured Belief Bases: A Practical Approach to Prioritised Base Revision. ECSQARU-FAPR 1997: 267-281

Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. KI 1997: 389-392

Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (Eds.): Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1244, Springer 1997, isbn 3-540-63095-3

Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri: A Structural Property on Modal Frames Characterizing Default Logic. Logic Journal of the IGPL 4(1): 7-22 (1996)

Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher: Languages, Meta-languages and METATEM, A Discussion Paper. Logic Journal of the IGPL 4(2): 255-272 (1996)

Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: A Language for Handling Hypothetical Updates and Inconsistency. Logic Journal of the IGPL 4(3): 385-416 (1996)

Jochen Dörre, Esther König, Dov M. Gabbay: Fibred Semantics for Feature-Based Grammar Logic. Journal of Logic, Language and Information 5(3/4): 387-422 (1996)

Dov M. Gabbay: Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics. J. Symb. Log. 61(4): 1057-1120 (1996)

Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri: A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. J. Log. Comput. 6(2): 205-231 (1996)

Marcelo Finger, Dov M. Gabbay: Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic 37(2): 204-232 (1996)

Philippe Besnard, Luis Fariñas del Cerro, Dov M. Gabbay, Anthony Hunter: Logical Handling of Inconsistent and Default Information. Uncertainty Management in Information Systems 1996: 325-342

Dov M. Gabbay, Odinaldo Rodrigues: A Methodology for Iterated Theory Change. FAPR 1996: 193-207

Dov M. Gabbay: An Overview of Fibred Semantics and the Combination of Logics. FroCoS 1996: 1-55

Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay: Language Understanding: A Procedural Perspective. LACL 1996: 228-247

Dov M. Gabbay, Heinrich Wansing: What is Negation in a System? Negation in Structured Consequence Relations. Logic, Action, and Information 1996: 328-350

Marcello D'Agostino, Dov M. Gabbay: Fibred Tableaux for Multi-Implication Logic. TABLEAUX 1996: 16-35

Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.): Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings. Lecture Notes in Computer Science 1085, Springer 1996, isbn 3-540-61313-7

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: An Introduction. Formal Asp. Comput. 7(5): 533-549 (1995)

Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz: Editorial. Logic Journal of the IGPL 3(1): 4-6 (1995)

Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas: On the Logic of Information Flow. Logic Journal of the IGPL 3(1): 7-50 (1995)

Ruy J. G. B. de Queiroz, Dov M. Gabbay: The Functional Interpretation of the Existential Quantifier. Logic Journal of the IGPL 3(2-3): 243-290 (1995)

Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz: The Bulletin turned into a Journal. Logic Journal of the IGPL 3(5): 682 (1995)

Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216

Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann (Eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. Oxford University Press 1994, isbn 0-19-853746-8

Dov M. Gabbay, Ruy J. G. B. de Queiroz: Speed with Quality. Logic Journal of the IGPL 2(1): 1-2 (1994)

Marcello D'Agostino, Dov M. Gabbay: A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. J. Autom. Reasoning 13(2): 243-281 (1994)

Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh: Inconsistency Handling in Multperspective Specifications. IEEE Trans. Software Eng. 20(8): 569-578 (1994)

Dov M. Gabbay: Classical vs non-classical logics (the universality of classical logic). Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 359-495

Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Conditonal Logic Programming. ICLP 1994: 272-289

Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.): Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings. Lecture Notes in Computer Science 827, Springer 1994, isbn 3-540-58241-X

Dov M. Gabbay: Editorial. Logic Journal of the IGPL 1(1): 1-2 (1993)

Dov M. Gabbay, Uwe Reyle: Computation with run time skolemisation (N-Prolog part 3). Journal of Applied Non-Classical Logics 3(1): 93-128 (1993)

Dov M. Gabbay, Valentin B. Shehtman: Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. J. Symb. Log. 58(3): 800-823 (1993)

Dov M. Gabbay: Editorial. J. Log. Comput. 3(1): 1-2 (1993)

Dov M. Gabbay, Anthony Hunter: Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency. ECSQARU 1993: 129-136

Dov M. Gabbay, Anthony Hunter: Restricted Access Logics for Inconsistent Information. ECSQARU 1993: 137-144

Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh: Inconsistency Handling in Multi-Perspective Specifications. ESEC 1993: 84-99

Rolf Nossum, Dov M. Gabbay: Semantical Correspondence Properties of Some Modal Systems of Logic. SCAI 1993: 10-19

Dov M. Gabbay, Ruy J. G. B. de Queiroz: Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. J. Symb. Log. 57(4): 1319-1365 (1992)

Dov M. Gabbay: Logic Made Reasonable. KI 6(3): 39-41 (1992)

Dov M. Gabbay, Hans Jürgen Ohlbach: From A Hilbert Calculus to its Model Theoretic Semantics. ALPUK 1992: 218-252

Marcelo Finger, Dov M. Gabbay: Updating Atomic Information in Labelled Database Systems. ICDT 1992: 188-200

Dov M. Gabbay: How to Construct a Logic for Your Application. GWAI 1992: 1-29

Dov M. Gabbay, Hans Jürgen Ohlbach: Quantifier Elimination in Second-Order Predicate Logic. KR 1992: 425-435

Dov M. Gabbay, Frank Kriwaczek: A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. J. Autom. Reasoning 7(4): 511-536 (1991)

Dov M. Gabbay: Abduction in Labelled Deductive Systems - A Conceptual Abstract. ECSQARU 1991: 3-11

Dov M. Gabbay, Anthony Hunter: Making inconsistency respectable: a logical framework for inconsistency in reasoning. FAIR 1991: 19-32

Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter: Meta-Reasoning in Executable Temporal Logic. KR 1991: 40-49

Dov M. Gabbay, Els Laenens, Dirk Vermeir: Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991: 208-217

Dov M. Gabbay: Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. SCAI 1991: 19-39

Dov M. Gabbay, Peter McBrien: Temporal Logic & Historical Databases. VLDB 1991: 423-430

Dov M. Gabbay: Editorial. J. Log. Comput. 1(1): 1-4 (1990)

Dov M. Gabbay, Ian M. Hodkinson: An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. J. Log. Comput. 1(2): 229-259 (1990)

Dov M. Gabbay: Algorithmic Proof with Diminishing Resources, Part 1. CSL 1990: 156-173

Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter: Using the Temporal Logic RDL for Design Specifications. Concurrency: Theory, Language, And Architecture 1989: 64-78

Dov M. Gabbay: Modal Provability Foundations for Negation by Failure. ELP 1989: 179-222

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: A Framework for Programming in Temporal Logic. REX Workshop 1989: 94-129

Howard Barringer, Dov M. Gabbay: Executing Temporal Logic: Review and Prospects (Abstract). Concurrency 1988: 104-105

Amihood Amir, Dov M. Gabbay: Preservation of Expressive Completeness in Temporal Models. Inf. Comput. 72(1): 66-83 (1987)

Dov M. Gabbay: The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. Temporal Logic in Specification 1987: 409-448

Dov M. Gabbay, Marek J. Sergot: Negation as Inconsistency I. J. Log. Program. 3(1): 1-35 (1986)

Dov M. Gabbay: N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. J. Log. Program. 2(4): 251-283 (1985)

Dov M. Gabbay, Uwe Reyle: N-Prolog: An Extension of Prolog with Hypothetical Implications I. J. Log. Program. 1(4): 319-355 (1984)

Dov M. Gabbay: Intuitonistic Basis for Non-Monotonic Logic. CADE 1982: 260-273

Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi: On the Temporal Basis of Fairness. POPL 1980: 163-173

Dov M. Gabbay: Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III. J. Symb. Log. 42(2): 269-271 (1977)

Dov M. Gabbay: A New Version of Beth Semantics for Intuitionistic Logic. J. Symb. Log. 42(2): 306-308 (1977)

Dov M. Gabbay: Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models. J. Symb. Log. 41(1): 81-94 (1976)

Dov M. Gabbay, Dick De Jongh: A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. J. Symb. Log. 39(1): 67-78 (1974)

Dov M. Gabbay: The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields. J. Symb. Log. 38(1): 86-92 (1973)

Dov M. Gabbay: Applications of Trees to Intermediate Logics. J. Symb. Log. 37(1): 135-138 (1972)

Dov M. Gabbay: Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications. J. Symb. Log. 37(2): 375-384 (1972)

Dov M. Gabbay: Decidability of Some Intuitionistic Predicate Theories. J. Symb. Log. 37(3): 579-587 (1972)

Dov M. Gabbay: The Decidability of the Kreisel-Putnam System. J. Symb. Log. 35(3): 431-437 (1970)