Dov M. Gabbay

A New Perspective on Nonmonotonic Logics

Reactive Kripke Semantics (Cognitive Technologies)

Meta-logical Investigations in Argumentation Networks

Principles of Talmudic Logic

Synthesis of Concepts in the Talmud

Functional Interpretation Of Logical Deduction, The (Advances In Logic, #5)

Conditionals and Modularity in General Logics (Cognitive Technologies)

Revision, Acceptability and Context (Cognitive Technologies)

The Textual Inference Rules Klal UPrat. How the Talmud Defines Sets

Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)

Proof Theory for Fuzzy Logics (Applied Logic, #36)

Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)

Analysis and Synthesis of Logics (Applied Logic, #35)

Mathematical Problems from Applied Logic II

A New Approach to Quantum Logic

Logic for Artificial Intelligence and Information Technology (Texts in Computer Science, v. 9)

Handbook of Philosophical Logic

Interpolation and Definability (Oxford Logic Guides, #46)

Compiled Labelled Deductive Systems (Studies in Logic & Computation, #10)

Neural-Symbolic Learning Systems (Perspectives in Neural Computing)

Handbook of Logic in Computer Science

Goal-Directed Proof Theory (Applied Logic, #21)

Temporal Logic: Volume 2 (Oxford Logic Guides, #40) (Temporal Logic, #40)

Fibring Logics (Oxford Logic Guides, #38)