287 found
Order:
Disambiguations
Dov M. Gabbay [135]Dov Gabbay [71]D. M. Gabbay [44]D. Gabbay [38]
DovM Gabbay [3]Do V. M. Gabbay [1]
See also
Dov Gabbay
Hebrew University of Jerusalem
  1.  66
    Labelled deductive systems.Dov M. Gabbay - 1996 - New York: Oxford University Press.
    This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  2.  88
    Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
    Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. To study (...)
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  3.  41
    Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
    This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference (...)
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  4. A Logical Account of Formal Argumentation.Martin W. A. Caminada & Dov M. Gabbay - 2009 - Studia Logica 93 (2-3):109-145.
    In the current paper, we re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic. In particular, we are able to express the (complete) extensions of an argumentation framework as models of a set of modal logic formulas that represents the argumentation framework. Using this approach, it becomes possible to define the grounded extension in terms of modal logic entailment.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   56 citations  
  5.  33
    Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.
  6. Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter & M. Zakharyaschev - 2005 - Studia Logica 81 (1):147-150.
     
    Export citation  
     
    Bookmark   60 citations  
  7.  41
    Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.
    The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability, the finite model property and decidability for product logics, by applying a rather elaborated modal logic technique: p-morphisms, the finite depth method, normal forms, filtrations. Applications to first order predicate logics are considered too. The introduction and the conclusion contain a discussion of many related results and open problems in the area.
    Direct download  
     
    Export citation  
     
    Bookmark   60 citations  
  8. Handbook of Philosophical Logic.D. M. Gabbay & F. Guenthner - 2007 - Bulletin of Symbolic Logic 13 (2):248-250.
     
    Export citation  
     
    Bookmark   42 citations  
  9.  7
    Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1981 - Dordrecht, Netherland: Reidel.
    From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  10.  80
    An irreflexivity lemma with applications to axiomatizations of conditions on tense frames.Dov M. Gabbay - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 67--89.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  11. Advice on Abductive Logic.Dov Gabbay & John Woods - 2006 - Logic Journal of the IGPL 14 (2):189-219.
    One of our purposes here is to expose something of the elementary logical structure of abductive reasoning, and to do so in a way that helps orient theorists to the various tasks that a logic of abduction should concern itself with. We are mindful of criticisms that have been levelled against the very idea of a logic of abduction; so we think it prudent to proceed with a certain diffidence. That our own account of abduction is itself abductive is methodological (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  12. Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
    We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  13. Handbook of Formal Argumentation.Pietro Baroni, Dov Gabbay, Massimilino Giacomin & Leendert van der Torre (eds.) - 2018 - London, England: College Publications.
    The Handbook of Formal Argumentation is a community effort aimed at providing a comprehensive and up-to-date view of the state of the art and current trends in the lively research field of formal argumentation. The first volume of the Handbook is organised into five parts, containing nineteen chapters in all, each written by leading experts in the field. The first part provides a general and historical perspective on the field. The second part gives a comprehensive coverage of the argumentation formalisms (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  90
    Handbook of Philosophical Logic.Dov M. Gabbay & Franz Guenthner (eds.) - 1983 - Dordrecht, Netherland: Kluwer Academic Publishers.
    The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  15.  65
    Fibring Argumentation Frames.Dov M. Gabbay - 2009 - Studia Logica 93 (2):231-295.
    This paper is part of a research program centered around argumentation networks and offering several research directions for argumentation networks, with a view of using such networks for integrating logics and network reasoning. In Section 1 we introduce our program manifesto. In Section 2 we motivate and show how to substitute one argumentation network as a node in another argumentation network. Substitution is a purely logical operation and doing it for networks, besides developing their theory further, also helps us see (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  16.  44
    Elementary Predicate Logic.Wilfrid Hodges, D. Gabbay & F. Guenthner - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
  17.  56
    A Logical Account of Formal Argumentation.Yining Wu, Martin Caminada & Dov M. Gabbay - 2009 - Studia Logica 93 (2-3):383-403.
    In this paper, we prove the correspondence between complete extensions in abstract argumentation and 3-valued stable models in logic programming. This result is in line with earlier work of [6] that identified the correspondence between the grounded extension in abstract argumentation and the well-founded model in logic programming, as well as between the stable extensions in abstract argumentation and the stable models in logic programming.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  18. Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
     
    Export citation  
     
    Bookmark   18 citations  
  19. A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67-78.
  20.  39
    Equational approach to argumentation networks.D. M. Gabbay - 2012 - Argument and Computation 3 (2-3):87 - 142.
    This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the ?extensions? of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, and much more. The equational approach has its conceptual roots in the nineteenth (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  21.  22
    A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67 - 78.
  22. Handbook of the History of Logic.Dov M. Gabbay & John Woods - 2004 - Bulletin of Symbolic Logic 10 (4):579-583.
     
    Export citation  
     
    Bookmark   15 citations  
  23.  64
    Logical Modes of Attack in Argumentation Networks.Dov M. Gabbay & Artur S. D’Avila Garcez - 2009 - Studia Logica 93 (2):199-230.
    This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of the nodes in a network. General properties of logics are refined both in the object level and in the metalevel to suit the needs of the application. The network-based system improves upon some of the attempts in the literature to define attacks in terms of defeasible proofs, the so-called rule-based (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  24.  16
    ‎Proof Theory for Fuzzy Logics.George Metcalfe, Nicola Olivetti & Dov M. Gabbay - 2008 - Dordrecht, Netherland: Springer.
    Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  25. Agenda Relevance - a Study in Formal Pragmatics.Dov M. Gabbay & John Woods - 2003
     
    Export citation  
     
    Bookmark   9 citations  
  26.  61
    Resource-origins of Nonmonotonicity.Dov Gabbay & John Woods - 2008 - Studia Logica 88 (1):85-112.
    Formal nonmonotonic systems try to model the phenomenon that common sense reasoners are able to “jump” in their reasoning from assumptions Δ to conclusions C without their being any deductive chain from Δ to C. Such jumps are done by various mechanisms which are strongly dependent on context and knowledge of how the actual world functions. Our aim is to motivate these jump rules as inference rules designed to optimise survival in an environment with scant resources of effort and time. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  27.  35
    The new logic.D. Gabbay & J. Woods - 2001 - Logic Journal of the IGPL 9 (2):141-174.
    The purpose of this paper is to communicate some developments in what we call the new logic. In a nutshell the new logic is a model of the behaviour of a logical agent. By these lights, logical theory has two principal tasks. The first is an account of what a logical agent is. The second is a description of how this behaviour is to be modelled. Before getting on with these tasks we offer a disclaimer and a warning. The disclaimer (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  28.  31
    Fibring logics.Dov M. Gabbay - 1999 - New York: Clarendon Press.
    Modern applications of logic in mathematics, computer science, and linguistics use combined systems of different types of logic working together. This book develops a method for combining--or fibring--systems by breaking them into simple components which can be manipulated easily and recombined.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  29.  20
    Non-Cooperation In Dialogue Logic.Dov Gabbay & John Woods - 2001 - Synthese 127 (1-2):161-186.
  30.  8
    Adding a temporal dimension to a logic system.Dov M. Gabbay & Marcelo Finger - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
    We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  31.  19
    Investigations in Modal and Tense Logics with Application to Problems in Philosophy and Linguistics.Dov M. Gabbay - 1979 - Journal of Symbolic Logic 44 (4):656-657.
  32.  28
    Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.
    In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that (i) represents classical proofs in a more natural way than standard Gentzen-style natural deduction, (ii) admits of a simple normalization procedure such that normal proofs enjoy the Weak Subformula Property, (iii) provides the means to prove a Non-contamination Property of normal proofs that is not satisfied by normal proofs in the Gentzen tradition and is useful for applications, especially in formal argumentation, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33. Fibring Logics.Dov M. Gabbay - 2000 - Studia Logica 66 (3):440-443.
     
    Export citation  
     
    Bookmark   20 citations  
  34.  10
    On 2nd order intuitionistic propositional calculus with full comprehension.Dov M. Gabbay - 1974 - Archive for Mathematical Logic 16 (3-4):177-186.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  35.  99
    What is a logical system?Dov M. Gabbay (ed.) - 1994 - New York: Oxford University Press.
    This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  36.  51
    Non-cooperation in dialogue logic.Dov Gabbay & John Woods - 2001 - Synthese 127 (1-2):161 - 186.
  37. What Is Negation?Dov M. Gabbay & Heinrich Wansing - 1999 - Studia Logica 69 (3):435-439.
  38.  34
    Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches.Dov Gabbay & John Woods - 2003 - Logic Journal of the IGPL 11 (6):597-613.
    Much of cognitive science seeks to provide principled descriptions of various kinds and aspects of rational behaviour, especially in beings like us or AI simulacra of beings like us. For the most part, these investigators presuppose an unarticulated common sense appreciation of the rationality that such behaviour consists in. On those occasions when they undertake to bring the relevant norms to the surface and to give an account of that to which they owe their legitimacy, these investigators tend to favour (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  39.  19
    General Intensional Logic.C. Anthony Anderson, D. Gabbay & F. Guenthner - 1990 - Journal of Symbolic Logic 55 (2):892-894.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  40.  35
    Expressive functional completeness in tense logic (preliminary report).Dov M. Gabbay - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 91--117.
  41.  36
    Model theory for tense logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.
  42.  11
    Alternatives to Standard first-order Semantics.Hugues Leblanc, D. Gabbay & F. Guenthner - 1989 - Journal of Symbolic Logic 54 (4):1483-1484.
  43.  28
    Handbook of Tableau Methods.Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle & Joachim Posegga (eds.) - 1999 - Dordrecht, Netherland: Springer.
    Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  44. Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction.M. Abraham, Dov M. Gabbay & U. Schild - 2009 - Studia Logica 92 (3):281-364.
    We motivate and introduce a new method of abduction, Matrix Abduction, and apply it to modelling the use of non-deductive inferences in the Talmud such as Analogy and the rule of Argumentum A Fortiori. Given a matrix $${\mathbb {A}}$$ with entries in {0, 1}, we allow for one or more blank squares in the matrix, say a i,j =?. The method allows us to decide whether to declare a i,j = 0 or a i,j = 1 or a i,j =? (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  45.  78
    Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview.Dov M. Gabbay - 2009 - Studia Logica 93 (2-3):357 - 381.
    In 2005 the author introduced networks which allow attacks on attacks of any level. So if a → b reads a attacks 6, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics (of extensions) to such networks. We offer three different approaches to obtaining semantics. 1. The (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  46.  85
    A general theory of the conditional in terms of a ternary operator.Dov M. Gabbay - 1972 - Theoria 38 (3):97-104.
  47. Handbook of Logic in Computer Science.S. Abramsky, D. Gabbay & T. Maibaurn (eds.) - 1992 - Oxford University Press.
     
    Export citation  
     
    Bookmark   10 citations  
  48.  47
    Fibred semantics and the weaving of logics part 1: Modal and intuitionistic logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
    This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems L i , i ∈ I, to form a new system L I . The methodology `fibres' the semantics K i of L i into a semantics for L I , and `weaves' the proof theory (axiomatics) of L i into a proof system of L I . There are various ways of doing this, we (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  49. Agenda Relevance: A Study in Formal Pragmatics.Dov M. Gabbay & John Woods - 2004 - Studia Logica 77 (1):133-139.
     
    Export citation  
     
    Bookmark   9 citations  
  50.  13
    Meta-Argumentation Modelling I: Methodology and Techniques.G. Boella, D. M. Gabbay, L. van der Torre & S. Villata - 2009 - Studia Logica 93 (2-3):297-354.
    In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 287