Professor Dov Gabbay Emeritus staff Emeritus Professor of Computer Science Research subject areas Computer science Contact details dov.gabbay@kcl.ac.uk
Forgetting in Abstract Argumentation: Limits and Possibilities Depth-Bounded Reasoning: Volume I: Classical Propositional Logic Forgetting an Argument Degrees of “in”, “out” and “undecided” in Argumentation Networks Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories A self-correcting iteration schema for argumentation networks Probabilistic argumentation: An equational approach Equilibrium states in numerical argumentation networks An equational approach to the merging of argumentation networks Cut and Pay Advice on Abductive Logic Fuzzy Logic without Weakening Proof Theory for Propositional Fuzzy Logic Sequent and Hypersequent calculi More on non-cooperation in dialogue logic Handbook of Paraconsistency Agenda Relevance Logics of Context Reactive Kripke Semantics and Arc Accessibility Interpolation in goal directed proof systems 1 Handbook of Temporal Reasoning in AI Philosophy of Anthropology and Sociology Philosophy of Psychology and Cognitive Science Philosophy of Logic Philosophy of Biology Philosophy of Physics Philosophy of Science: Focal Issues The Many-valued and Nonmonotonic Turn in Logic Logic and the Modalities in the Twentieth Century British Logic in the Nineteenth Century Medieval and Renaissance Logic Handbook of Philosophical Logic A methodology for iterated Theory Change Structured Databases: a framework to reason about Belief Change Structured Belief Bases: a practical approach to prioritised base revision Getting possibilities from the impossible Belief revision, belief merging and voting A Numerical Approach to the Merging of Argumentation Networks Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Porn deontic logic system] Interpolable Formulas in Equilibrium Logic and Answer Set Programming Reactive intuitionistic tableaux Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim) Uncertainty Rules in Talmudic Reasoning Reactive automata Annotation Theories over Finite Graphs Semantics for Higher Level Attacks in Extended Argumentation Frames Meta-Argumentation Modelling I: Methodology and Techniques A Logical Account of Formal Argumentation Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction Size and logic View all publications