Dov-M Gabbay

Goal-Directed Proof Theory

Goal-Directed Proof Theory

Inductive Logic

Abductive Reasoning And Learning

Logic And The Modalities In The Twentieth Century

Belief Change

Handbook Of Defeasible Reasoning And Uncertainty Management Systems

Logic, Language And Reasoning

Analysis And Synthesis Of Logics

Depth-Bounded Reasoning. Classical Propositional Logic

Journal Of Applied Logics. Ifcolog Journal Of Logics And Their Applications. Volume 10, Number 4, July 2023

Synthesis Of Concepts In The Talmud

Analysis And Synthesis Of Logics

Theories Of Joint Ownership In Talmudic Logic

Journal Of Applied Logics - The Ifcolog Journal Of Logics And Their Applications

Logical Tools For Handling Change In Agent-Based Systems

A New Perspective On Nonmonotonic Logics

Principles Of Talmudic Logic

Labelled Deductive Systems

Platonic Realism And Talmudic Reasoning

Handbook Of Logic In Computer Science

Temporal Logic In The Talmud

Neural-Symbolic Learning Systems

A New Perspective On Nonmonotonic Logics

Non-Deductive Inferences In The Talmud

The Textual Inference Rules Klal Uprat. How The Talmud Defines Sets

Logical Tools For Handling Change In Agent-Based Systems

Conditionals And Modularity In General Logics

Semantical Investigations In Heyting's Intuitionistic Logic

Handbook Of Logic In Computer Science

Interpolation And Definability

Neural-Symbolic Cognitive Reasoning

Conditionals And Modularity In General Logics

Semantical Investigations In Heyting's Intuitionistic Logic

Handbook Of Logic In Artificial Intelligence And Logic Programming

Reactive Kripke Semantics

Delegation In Talmudic Logic

Investigations In Modal And Tense Logics With Applications To Problems In Philosophy And Linguistics

Fibring Logics

Temporal Logic

Fuzzy Logic And Quantum States In Talmudic Reasoning

Meta-Logical Investigations In Argumentation Networks

We Will Show Them! Essays In Honour Of Dov Gabbay. Volume 1

Neural-Symbolic Cognitive Reasoning

Talmudic Deontic Logic