Dov M. Gabbay (gabbay-dm)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Abraham, Michael, Gabbay, Dov M. and Hazut, Gabriel. 2011. “Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim).” History and Philosophy of Logic 32(1): 47–62.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1992a. Handbook of Logic in Computer Science. Volume 1. Background: Mathematical Structures. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1992b. Handbook of Logic in Computer Science. Volume 2. Background: Computational Structures. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1994. Handbook of Logic in Computer Science. Volume 3. Semantic Structures. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1995. Handbook of Logic in Computer Science. Volume 4. Semantic Modelling. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 2000. Handbook of Logic in Computer Science. Volume 5. Logic and Algebraic Methods. Oxford: Oxford University Press.
Amati, Gianni, Aiello, Luigia Carlucci, Gabbay, Dov M. and Pirri, Fiora. 1996. “A Proof-Theoretical Approach to Default Reasoning I: Tableaux for Default Logic.” Journal of Logic, Language, and Information 5(2): 205–231.
Baroni, Pietro, Gabbay, Dov M., Giacomin, Massimiliano and Torre, Leendert W. N. van der, eds. 2018. Handbook of Formal Argumentation. London: College Publications.
Barringer, Howard, Fisher, Michael E., Gabbay, Dov M. and Hunter, Anthony. 1991. “Meta-Reasoning in Executable Temporal Logic.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 40–49. San Francisco, California: Morgan Kaufmann Publishers.
Barringer, Howard, Fisher, Michael E., Gabbay, Dov M., Owens, R. and Reynolds, Mark A. 1996. The Imperative Future: Principles of Executable Temporal Logic. Hoboken, New Jersey: John Wiley; Sons, Inc.
Barwise, Jon K. and Gabbay, Dov M. 1994. “On the Logic of Information Flow.” Unpublished manuscript.
Barwise, Jon K., Gabbay, Dov M. and Hartonas, Chsysafis. 1996. “Information Flow and the Lambek Calculus.” in Logic, Language and Computation .Volume 1, edited by Jerry Seligman and Dag Westerståhl, pp. 47–62. CSLI Lecture Notes n. 58. Stanford, California: CSLI Publications.
Boer, Mathijs de, Gabbay, Dov M., Parent, Xavier and Slavkovic, Marija. 2012. “Two Dimensional Standard Deontic Logic (including a Detailed Analysis of the 1985 Jones-Pörn Deontic Logic System).” Synthese 187(2): 623–660.
D’Agostino, Marcello, Gabbay, Dov M. and Broda, Krysia. 1999. “Tableau Methods for Substructural Logics.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 397–468. Berlin: Springer.
D’Agostino, Marcello, Gabbay, Dov M., Hähnle, Reiner and Posegga, Joachim, eds. 1999. Handbook of Tableau Methods. Berlin: Springer.
D’Agostino, Marcello, Gabbay, Dov M. and Russo, Alessandra. 1997. “Grafting Modalities onto Substructural Implication Systems.” Studia Logica: An International Journal for Symbolic Logic 59(1): 65–102.
Demri, Stéphane and Gabbay, Dov M. 2000. “On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II.” Studia Logica: An International Journal for Symbolic Logic 66(3): 349–384.
Dörre, Jochen, König, Esther and Gabbay, Dov M. 1994. “Fibred Semantics for Feature-Based Grammar Logic.” Journal of Logic, Language, and Information 3(3–4): 387–422.
Engesser, Kurt and Gabbay, Dov M. 2002. “Quantum Logic, Hilbert Space, Revision Theory.” Artificial Intelligence 136(1): 61–100.
Finger, Marcelo and Gabbay, Dov M. 1992. “Adding a Temporal Dimension to a Logic System.” Journal of Logic, Language, and Information 1(3): 203–233.
Finger, Marcelo, Gabbay, Dov M. and Reynolds, Mark A. 2002. “Advanced Tense Logic.” in Handbook of Philosophical Logic, Volume VII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 43–204. Dordrecht: Springer.
Gabbay, Dov M. 1972a. “A General Filtration Method for Modal Logics.” The Journal of Philosophical Logic 1(1): 29–34.
Gabbay, Dov M. 1972b. “Tense Logics with Discrete Moments of Time, Part I.” The Journal of Philosophical Logic 1(1): 35–44.
Gabbay, Dov M. 1972c. “A General Theory of the Conditional in Terms of a Ternary Operator.” Theoria 38(3): 97–104, doi:10.1111/j.1755-2567.1972.tb00927.x.
Gabbay, Dov M. 1973a. “Applications of Scott’s Notion of Consequence to the Study of General Binary Intensional Connectives and Entailment.” The Journal of Philosophical Logic 2(3): 340–351.
Gabbay, Dov M. 1973b. “A Survey of Decidability Results for Modal, Tense and Intermediate Logics.” in Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress in Bucharest 1971, edited by Patrick Suppes, Leon Henkin, Athanase Joja, and Gr.C. Moisil, pp. 29–44. Studies in Logic and the Foundations of Mathematics n. 74. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. 1973c. “Representation of the Montague Semantics as a Form of the Suppes Semantics with Applications to the Problem of the Introduction of the Passive Voice, the Tenses, and Negation as Transformation.” in Approaches to Natural Language, edited by Jaakko Hintikka, Julius M. E. Moravcsik, and Patrick Suppes, pp. 395–412. Synthese Library n. 49. Dordrecht: D. Reidel Publishing Co. Proceedings of the 1970 Stanford Workshop on Grammar and Semantics.
Gabbay, Dov M. 1974a. “On 2nd Order Intuitionistic Propositional Calculus with Full Comprehension.” Annals of Mathematical Logic 16: 177–186.
Gabbay, Dov M. 1974b. “Propositional Attitudes and Self-Reference.” Philosophia: Philosophical Quarterly of Israel 4(2–3): 271–295.
Gabbay, Dov M. 1975. “Model Theory for Tense Logics.” Annals of Mathematical Logic 8: 185–236.
Gabbay, Dov M. 1976a. Investigations in Modal and Tense Logic with Applications to Problems in Philosophy and Linguistics. Synthese Library n. 92. Dordrecht: D. Reidel Publishing Co.
Gabbay, Dov M. 1976b. “Two-Dimensional Propositional Tense Logics.” in Language in Focus: Foundations, Methods and Systems. Essays dedicated to Yehoshua Bar-Hillel, edited by Asa Kasher, pp. 569–583. Boston Studies in the Philosophy of Science n. 43. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-1876-0.
Gabbay, Dov M. 1977a. “A New Version of Beth Semantics for Intuitionistic Logic.” The Journal of Symbolic Logic 42: 306–308.
Gabbay, Dov M. 1977b. “A Tense System with Split Truth Table.” Logique et Analyse 20(80): 359–393.
Gabbay, Dov M. 1980. “Time, Tense, and Quantifiers.” in Time, Tense, and Quantifiers: Proceedings of the Stuttgart Conference on the Logic of Tense and Quantification, edited by Christian Rohrer, pp. 59–82. Tübingen: Max Niemeyer Verlag.
Gabbay, Dov M. 1981a. Semantical Investigations in Heyting’s Intuitionistic Logic. Synthese Library n. 148. Dordrecht: D. Reidel Publishing Co.
Gabbay, Dov M. 1981b. “Functional Completeness in Tense Logic.” in Aspects of Philosophical Logic. Some Logical Forays into Central Notions of Linguistics and Philosophy, edited by Uwe Mönnich, pp. 91–117. Synthese Library n. 147. Dordrecht: D. Reidel Publishing Co.
Gabbay, Dov M. 1981c. “An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames.” in Aspects of Philosophical Logic. Some Logical Forays into Central Notions of Linguistics and Philosophy, edited by Uwe Mönnich, pp. 67–89. Synthese Library n. 147. Dordrecht: D. Reidel Publishing Co.
Gabbay, Dov M. 1982. “Intuitionistic Basis for Non-Monotonic Logic.” in Proceedings of the 6th Conference on Automated Deduction, edited by Donald W. Loveland, pp. 260–273. Lecture Notes in Computer Science. Berlin: Springer.
Gabbay, Dov M. 1985. “Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems.” in Logics and Models of Concurrent Systems, edited by Krzysztof R. Apt, pp. 439–457. Berlin: Springer.
Gabbay, Dov M. 1987. “Modal and Temporal Logic Programming.” in Temporal Logics and their Applications, edited by Antony Galton, pp. 197–238. New York: Academic Press.
Gabbay, Dov M. 1991. “Abduction in Labelled Deductive Systems: A Conceptual Abstract.” in Symbolic and Quantitative Approaches for Uncertainty: Proceedings of the European Conference ECSQAU, Marseille, France, October 1991, edited by Rudolf Kruse and Pierre Siegel, pp. 3–11. Lecture Notes in Computer Science n. 548. Berlin: Springer.
Gabbay, Dov M. 1992a. “Quantifier Elimination in Second-Order Predicate Logic.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 425–435. San Francisco, California: Morgan Kaufmann Publishers.
Gabbay, Dov M. 1992b. “Elements of Algorithmic Proof.” in Handbook of Logic in Computer Science. Volume 2. Background: Computational Structures, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 311–415. Oxford: Oxford University Press.
Gabbay, Dov M. 1993a. “Labelled Deductive Systems and Situation Theory.” in Situation Theory and Its Applications, Volume 3, volume 3, edited by Peter Aczel, David J. Israel, Yasuhiro Katagiri, and Stanley Peters. vol. 3. Stanford, California: CSLI Publications.
Gabbay, Dov M. 1993b. “Preface.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. v–viii. Oxford: Oxford University Press.
Gabbay, Dov M. 1993c. “A General Theory of Structured Consequence Relations.” in Substructural Logics, edited by Peter Schröder-Heister and Kosta Došen, pp. 109–152. Oxford Science Publications. Oxford: Oxford University Press.
Gabbay, Dov M., ed. 1994a. What is a Logical System? Oxford: Oxford University Press.
Gabbay, Dov M. 1994b. “What is a Logical System?” in What is a Logical System?, edited by Dov M. Gabbay, pp. 179–216. Oxford: Oxford University Press.
Gabbay, Dov M. 1994c. “Classical vs Non-Classical Logics (the Universality of Classical Logic).” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 359–500. Oxford: Oxford University Press.
Gabbay, Dov M. 1995. “Conditional Implications and Non-Monotonic Consequence.” in Conditionals: From Philosophy to Computer Science, edited by Gabriella Crocco, Luis Fariñas del Cerro, and Andreas Herzig, pp. 337–359. Oxford: Oxford University Press.
Gabbay, Dov M. 1996a. Labelled Deductive Systems. Volume 1. Oxford Logic Guides n. 33. Oxford: Oxford University Press.
Gabbay, Dov M. 1996b. “Fibred Semantics and the Weaving of Logics. Part I: Modal and Intuitionistic Logics.” The Journal of Symbolic Logic 61(4): 1057–1120.
Gabbay, Dov M. 2000a. “Dynamics of Practical Reasoning: A Position Paper.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 197–242. Stanford, California: CSLI Publications.
Gabbay, Dov M. 2000b. “Abduction in Labelled Deductive Systems.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems IV: Abductive Reasoning and Learning, edited by Dov M. Gabbay and Rudolf Kruse, pp. 99–154. Dordrecht: Kluwer Academic Publishers.
Gabbay, Dov M. 2001. “Editorial Preface.” in Handbook of Philosophical Logic, Volume I, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. vii–xiii. Dordrecht: Springer.
Gabbay, Dov M. 2002. “Sampling Labeled Deductive Systems.” in A Companion to Philosophical Logic, edited by Dale Jacquette, pp. 742–770. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers, doi:10.1002/9780470996751.
Gabbay, Dov M. 2011. “Reactive Intuitionistic Tableaux.” Synthese 179(2): 253–269.
Gabbay, Dov M. 2014a. “Introduction to Labelled Deductive Systems.” in Handbook of Philosophical Logic, Volume XVII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 179–266. Dordrecht: Springer.
Gabbay, Dov M. 2014b. “What is a Logical System? An Evolutionary View: 1964–2014.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 41–133. Amsterdam: Elsevier Science Publishers B.V.
Gabbay, Dov M., Canivez, Patrice, Rahman, Shahid and Thiercelin, Alexandre, eds. 2010. Approaches to Legal Rationality. Logic, Epistemology, and the Unity of Science n. 20. Dordrecht: Springer.
Gabbay, Dov M. and Došen, Kosta, eds. 1996. Labelled Deductive Systems. vol. I. Oxford: Oxford University Press.
Gabbay, Dov M. and Governatori, Guido. 1999. “Dealing with Label Dependent Deontic Modalities.” in Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science, edited by Paul McNamara and Henry Prakken, pp. 311–330. Frontiers in Artificial Intelligence and its Applications. Amsterdam: IOS Press.
Gabbay, Dov M. and Guenthner, Franz, eds. 1983. Handbook of Philosophical Logic, Volume I: Elements of Classical Logic. Synthese Library n. 164. Dordrecht: D. Reidel Publishing Co.
Gabbay, Dov M. and Guenthner, Franz, eds. 1984. Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic. Synthese Library n. 165. Dordrecht: D. Reidel Publishing Co.
Gabbay, Dov M. and Guenthner, Franz, eds. 1986. Handbook of Philosophical Logic, Volume III: Alternatives to Classical Logic. Synthese Library n. 166. Dordrecht: D. Reidel Publishing Co.
Gabbay, Dov M. and Guenthner, Franz, eds. 1989. Handbook of Philosophical Logic, Volume IV: Topics in the Philosophy of Language. Synthese Library n. 167. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-009-1171-0.
Gabbay, Dov M. and Guenthner, Franz, eds. 2001a. Handbook of Philosophical Logic, Volume I. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2001b. Handbook of Philosophical Logic, Volume II. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2001c. Handbook of Philosophical Logic, Volume III. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2001d. Handbook of Philosophical Logic, Volume IV. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2002a. Handbook of Philosophical Logic, Volume V. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2002b. Handbook of Philosophical Logic, Volume VI. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2002c. Handbook of Philosophical Logic, Volume VII. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2002d. Handbook of Philosophical Logic, Volume VIII. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2002e. Handbook of Philosophical Logic, Volume IX. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2003. Handbook of Philosophical Logic, Volume X. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2004. Handbook of Philosophical Logic, Volume XI. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2005a. Handbook of Philosophical Logic, Volume XII. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2005b. Handbook of Philosophical Logic, Volume XIII. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2007. Handbook of Philosophical Logic, Volume XIV. 2nd ed. Dordrecht: Springer, doi:10.1007/978-1-4020-6324-4.
Gabbay, Dov M. and Guenthner, Franz, eds. 2011a. Handbook of Philosophical Logic, Volume XV. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2011b. Handbook of Philosophical Logic, Volume XVI. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M. and Guenthner, Franz, eds. 2014. Handbook of Philosophical Logic, Volume XVII. 2nd ed. Dordrecht: Springer.
Gabbay, Dov M., Hartmann, Stephan and Woods, John, eds. 2011. Handbook of the History of Logic. Volume 10: Inductive Logic. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. and Hodkinson, Ian. 1996. “Temporal Logic in the Context of Databases.” in Logic and Reality: Essays on the Legacy of Arthur Prior, edited by B. Jack Copeland, pp. 69–87. Oxford: Oxford University Press.
Gabbay, Dov M., Hodkinson, Ian and Reynolds, Mark A. 1994. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1. Oxford Logic Guides n. 28. Oxford: Oxford University Press.
Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1993. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations. Oxford: Oxford University Press.
Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1994a. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies. Oxford: Oxford University Press.
Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1994b. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning. Oxford: Oxford University Press.
Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1995. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Logics. Oxford: Oxford University Press.
Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1998. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming. Oxford: Oxford University Press.
Gabbay, Dov M. and Hunter, Anthony. 1999. “Negation and Contradiction.” in What is Negation?, edited by Dov M. Gabbay and Heinrich Theodor Wansing, pp. 89–100. Applied Logic Series n. 13. Dordrecht: Kluwer Academic Publishers.
Gabbay, Dov M., Johnson, Ralph H., Ohlbach, Hans Jürgen and Woods, John, eds. 2002. Handbook of the Logic of Argument and Inference: The Turn Towards the Practical. Amsterdam: Elsevier Science Publishers B.V.
Gabbay, Dov M., Kanamori, Akihiro and Woods, John, eds. 2012. Handbook of the History of Logic. Volume 6: Sets and Extensions in the Twentieth Century. Amsterdam: Elsevier Science Publishers B.V.
Gabbay, Dov M. and Kasher, Asa. 1976. “On the Semantics and Pragmatics of Specific and Non-Specific Indefinite Expressions.” Theoretical Linguistics 3(1-2): 145–190.
Gabbay, Dov M. and Kempson, Ruth M. 1991. “Labelled Abduction and Relevance Reasoning.” Unpublished manuscript.
Gabbay, Dov M. and Kempson, Ruth M. 1994. “Language and Proof Theory.” Journal of Logic, Language, and Information 3(3–4): 247–251.
Gabbay, Dov M. and Koppel, Moshe. 2011. “Uncertainty Rules in Talmudic Reasoning.” History and Philosophy of Logic 32(1): 63–69.
Gabbay, Dov M. and Kruse, Rudolf, eds. 2000. Handbook of Defeasible Reasoning and Uncertainty Management Systems IV: Abductive Reasoning and Learning. Dordrecht: Kluwer Academic Publishers.
Gabbay, Dov M., Kurucz, Ágnes, Wolter, Frank and Zakharyaschev, Michael. 2003. Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics n. 148. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. and Maksimova, Larisa L. 2005. Interpolation and Definability, Modal and Intuitionistic Logics. Oxford Logic Guides n. 46. Oxford: Oxford University Press.
Gabbay, Dov M. and Maksimova, Larisa L. 2011. “Interpolation and Definability.” in Handbook of Philosophical Logic, Volume XV, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 67–123. Dordrecht: Springer.
Gabbay, Dov M. and Malod, Guillaume. 2002. “Naming Worlds in Modal and Temporal Logic.” Journal of Logic, Language, and Information 11(1): 29–65.
Gabbay, Dov M. and Moravcsik, Julius M. E. 1973. “Sameness and Individuation.” The Journal of Philosophy 70(16): 513–526. Reprinted in Pelletier (1979, 233–247).
Gabbay, Dov M. and Moravcsik, Julius M. E. 1980. “Verbs, Events, and the Flow of Time.” in Time, Tense, and Quantifiers: Proceedings of the Stuttgart Conference on the Logic of Tense and Quantification, edited by Christian Rohrer, pp. 59–83. Tübingen: Max Niemeyer Verlag.
Gabbay, Dov M. and Nossum, Rolf T. 1997. “Structured Contexts with Fibred Semantics.” in, pp. 48–57. Reprinted in Bonzon, Cavalcanti and Nossum (2000, 193–209).
Gabbay, Dov M. and Ohlbach, Hans Jürgen, eds. 1994. Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Gabbay, Dov M. and Olivetti, Nicola. 1998. “Algorithmic Proof Methods and Cut Elimination for Implicational Logics, Part I: Modal Implication.” Studia Logica: An International Journal for Symbolic Logic 61(2): 237–280.
Gabbay, Dov M. and Olivetti, Nicola. 2002. “Goal-Directed Deductions.” in Handbook of Philosophical Logic, Volume IX, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 199–286. Dordrecht: Springer.
Gabbay, Dov M., Pelletier, Francis Jeffry and Woods, John, eds. 2012. Handbook of the History of Logic. Volume 11: Logic: A History of its Central Concepts. Amsterdam: Elsevier Science Publishers B.V.
Gabbay, Dov M. and Pirri, Fiora. 1997. “Introduction.” Studia Logica: An International Journal for Symbolic Logic 59(1): 1–4.
Gabbay, Dov M., Pnuelli, Amir, Shelah, Saharon and Stavi, Jonathan. 1980. “On the Temporal Analysis of Fairness.” in Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, pp. 163–173. New York: The ACM Press.
Gabbay, Dov M. and Reyle, Uwe. 1997. “Labelled Resolution for Classical and Non-Classical Logics.” Studia Logica: An International Journal for Symbolic Logic 59(2): 179–216.
Gabbay, Dov M. and Reynolds, Mark A. 1995. “Towards a Computational Treatment of Time.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Logics, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 351–438. Oxford: Oxford University Press.
Gabbay, Dov M., Reynolds, Mark A. and Finger, Marcelo. 2000. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. Oxford Logic Guides n. 40. Oxford: Oxford University Press.
Gabbay, Dov M. and de Rijke, Maarten, eds. 1999. Frontiers of Combining Systems. vol. II. Philadelphia, Pennsylvania: Research Studies Press.
Gabbay, Dov M. and de Rijke, Maarten, eds. 2000. Frontiers of Combining Systems. vol. III. Berlin: Research Studies Press.
Gabbay, Dov M., Rodrigues, Odinaldo and Woods, John. 2004. “Belief Contraction, Anti-Formulae and Resource Overdraft: Part II. Deletion in Resource Unbounded Logics.” in Logic, Epistemology, and the Unity of Science, volume 1, edited by Shahid Rahman, John Symons, Dov M. Gabbay, and Jean Paul van Bendegem, pp. 291–326. Dordrecht: Springer.
Gabbay, Dov M. and Rohrer, Christian. 1979. “Do we really need Tenses Other Than Future and Past?” in, pp. 15–20.
Gabbay, Dov M. and Shehtman, Valentin. 1998. “Products of Modal Logics, Part I.” Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 6(1): 73–146.
Gabbay, Dov M. and Shehtman, Valentin. 2000. “Products of Modal Logics, Part II.” Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 8(2): 165–210.
Gabbay, Dov M. and Shehtman, Valentin. 2003. “Products of Modal Logics, Part III: Products of Modal and Temporal Logics.” Studia Logica: An International Journal for Symbolic Logic 72(2): 157–183.
Gabbay, Dov M., Shehtman, Valentin and Skvortsov, Dimitrij. 2009. Quantification in Nonclassical Logic. Volume 1. Studies in Logic and the Foundations of Mathematics n. 153. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. and Wansing, Heinrich Theodor. 1996. “What is Negation in a System? Negation in Structured Consequence Relations.” in Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence, edited by André Fuhrmann and Hans Rott, pp. 328–350. Berlin: de Gruyter.
Gabbay, Dov M. and Wansing, Heinrich Theodor, eds. 1999. What is Negation? Applied Logic Series n. 13. Dordrecht: Kluwer Academic Publishers.
Gabbay, Dov M. and Woods, John. 2002. “Formal Approaches to Practical Reasoning: A Survey.” in Handbook of the Logic of Argument and Inference: The Turn Towards the Practical, edited by Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach, and John Woods, pp. 449–481. Amsterdam: Elsevier Science Publishers B.V.
Gabbay, Dov M. and Woods, John. 2003. A Practical Logic of Cognitive Systems, Volume 1: Agenda Relevance. A Study in Formal Pragmatics. Amsterdam: Elsevier Science Publishers B.V.
Gabbay, Dov M. and Woods, John, eds. 2004a. Handbook of the History of Logic. Volume 1: Greek, Indian and Arabic Logic. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. and Woods, John, eds. 2004b. Handbook of the History of Logic. Volume 3: The Rise of Modern Logic: from Leibniz to Frege. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. and Woods, John. 2005a. A Practical Logic of Cognitive Systems, Volume 2: The Reach of Abduction. Insight and Trial. Amsterdam: Elsevier Science Publishers B.V.
Gabbay, Dov M. and Woods, John. 2005b. “The Practical Turn in Logic.” in Handbook of Philosophical Logic, Volume XIII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 15–122. Dordrecht: Springer.
Gabbay, Dov M. and Woods, John. 2005c. “Filtration Structures and the Cut Down Problem for Abduction.” in Mistakes of Reason: Proceedings of a Conference in Honour of John Woods, edited by Kent A. Peacock and Andrew David Irvine, pp. 398–417. Toronto: University of Toronto Press.
Gabbay, Dov M. and Woods, John, eds. 2006. Handbook of the History of Logic. Volume 7: Logic and the Modalities in the 20th Century. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. and Woods, John, eds. 2007. Handbook of the History of Logic. Volume 8: The Many Valued and Non-Monotonic Turn in Logic. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. and Woods, John, eds. 2008a. Handbook of the History of Logic. Volume 2: Medieval and Renaissance Logic. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. and Woods, John, eds. 2008b. Handbook of the History of Logic. Volume 4: British Logic in the Nineteenth Century. Amsterdam: North-Holland Publishing Co.
Gabbay, Dov M. and Woods, John, eds. 2009. Handbook of the History of Logic. Volume 5: Logic from Russell to Church. Amsterdam: North-Holland Publishing Co.
Garcez, A. S. d’Avila, Broda, Krysia and Gabbay, Dov M. 2001. “Symbolic Knowledge Extraction from Trained Neural Networks: A Sound Approach.” Artificial Intelligence 125(1–2): 155–207.
Kempson, Ruth M., Meyer-Viol, Wilfried and Gabbay, Dov M. 1997. “Language Understanding: A Procedural Perspective.” in LACL’96: First International Conference on Logical Aspects of Computational Linguistics, edited by Christian Retoré, pp. 228–247. Berlin: Springer.
Metcalfe, George, Olivetti, Nicola and Gabbay, Dov M. 2009. Proof Theory for Fuzzy Logic. Cham, Switzerland: Springer.
de Queiroz, Ruy J. G. B. and Gabbay, Dov M. 1995. “The Functional Interpretation of the Existential Quantifier.” Bulletin of the Interest Group for Pure and Applied Logics 3: 91–138.
de Queiroz, Ruy J. G. B. and Gabbay, Dov M. 1999. “Labelled Natural Deduction.” in Logic, Language and Reasoning: Essays in Honour of Dov Gabbay, edited by Hans Jürgen Ohlbach and Uwe Reyle, pp. 173–250. Dordrecht: Kluwer Academic Publishers.
Rahman, Shahid, Symons, John, Gabbay, Dov M. and Bendegem, Jean Paul van, eds. 2004. Logic, Epistemology, and the Unity of Science. vol. 1. Dordrecht: Springer.
Reyle, Uwe and Gabbay, Dov M. 1994. “Direct Deductive Computation on Discourse Representation Structures.” Linguistics and Philosophy 17(4): 343–390.
Rodrigues, Odinaldo, Gabbay, Dov M. and Russo, Alessandra. 2011. “Belief Revision.” in Handbook of Philosophical Logic, Volume XVI, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–113. Dordrecht: Springer.
Schulz, Klaus Ulrich and Gabbay, Dov M. 1995. “Logic Finite Automata.” in Applied Logic: How, What, and Why? Logical Approaches to Natural Language, edited by László Pólos and Michael Masuch, pp. 237–285. Synthese Library n. 247. Dordrecht: Kluwer Academic Publishers.
Siekmann, Jörg H. and Gabbay, Dov M., eds. 2014. Handbook of the History of Logic. Volume 9: Computational Logic. Amsterdam: Elsevier Science Publishers B.V.
Woods, John, Johnson, Ralph H., Gabbay, Dov M. and Ohlbach, Hans Jürgen. 2002. “Logic and the Practical Turn.” in Handbook of the Logic of Argument and Inference: The Turn Towards the Practical, edited by Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach, and John Woods, pp. 1–40. Amsterdam: Elsevier Science Publishers B.V.
Further References
Bonzon, Pierre E., Cavalcanti, Marcos and Nossum, Rolf T., eds. 2000. Formal Aspects of Context. Dordrecht: Kluwer Academic Publishers.
Pelletier, Francis Jeffry, ed. 1979. Mass Terms: Some Philosophical Problems. Synthese Language Library n. 6. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-1-4020-4110-5.