Gabbay, Dov M.

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

Reactive Kripke Semantics

Labelled Deductive Systems

Meta-Logical Investigations In Argumentation Networks

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

Fibring Logics

Semantical Investigations In Heyting's Intuitionistic Logic

Semantical Investigations In Heyting's Intuitionistic Logic

Logical Tools For Handling Change In Agent-Based Systems

A New Perspective On Nonmonotonic Logics

Temporal Logic

Logical Tools For Handling Change In Agent-Based Systems

A New Perspective On Nonmonotonic Logics

Conditionals And Modularity In General Logics

Conditionals And Modularity In General Logics

Interpolation And Definability

Handbook Of Logic In Computer Science

Handbook Of Logic In Computer Science

Depth-Bounded Reasoning. Classical Propositional Logic

Synthesis Of Concepts In The Talmud

Theories Of Joint Ownership In Talmudic Logic

Principles Of Talmudic Logic

Temporal Logic In The Talmud

Non-Deductive Inferences In The Talmud

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

Platonic Realism And Talmudic Reasoning

Talmudic Deontic Logic

Partition Problems In Talmudic Reasoning

Delegation In Talmudic Logic

Neural-Symbolic Cognitive Reasoning

Neural-Symbolic Cognitive Reasoning

Neural-Symbolic Learning Systems

Analysis And Synthesis Of Logics

Analysis And Synthesis Of Logics

Abductive Reasoning And Learning

Logic And The Modalities In The Twentieth Century

Handbook Of Defeasible Reasoning And Uncertainty Management Systems

Belief Change

Goal-Directed Proof Theory

Inductive Logic

Logic, Language And Reasoning

Fuzzy Logic And Quantum States In Talmudic Reasoning

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

Goal-Directed Proof Theory

Argument, Sex And Logic