Dov M. Gabbay

Approaches to legal rationality

Handbook of philosophical logic

Quantification in nonclassical logic

Handbook of quantum logic and quantum structures

Mediaeval and renaissance logic

Handbook of the history of logic

Logical Tools for Handling Change in Agent-Based Systems

Logic from Russell to Church

Mathematical problems from applied logic I

Conditionals and Modularity in General Logics

Reactive Kripke Semantics

Handbook of Philosophical Logic, 2nd Edition

Inductive Logic

Handbook of logic in artificial intelligence and logic programming

Revision, acceptability and context

Topics in the philosophy of language

Extensions of classical logic

Handbook Of Philosophy Of Economics

Elements of classical logic

Alternatives in [i.e. to] classical logic

What is a logical system?

Handbook of defeasible reasoning and uncertainty management systems

Mathematical problems from applied logic II

Handbook of temporal reasoning in artificial intelligence

Neural-symbolic learning systems

Temporal logic

What is negation?

Goal-directed proof theory

Logic, language, and reasoning

Many-dimensional modal logics

Handbook of the logic of argument and inference

A practical logic of cognitive systems

Sets and Extensions in the Twentieth Century

Philosophy of Statistics

Handbook of logic in computer science

Frontiers of combining systems 2

Compiled labelled deductive systems

ELEMENTARY LOGIC WITH APPLICATIONS

Logiḳah daʼoniṭit le-or ha-Talmud

Trends in belief revision and argumentation dynamics

Meta-logical investigations in argumentation networks

Labelled deductive systems

Elementary logics

Interpolation and definability

Semantical investigations in Heyting's intuitionistic logic

Abductive reasoning and learning

Handbook of Defeasible Reasoning and Uncertainty Management

Fibring logics

Dynamic syntax

Investigations in modal and tense logics with applications to problems in philosophy and linguistics

Second-order quantifier elimination

New approaches to classes and concepts

Classical vs non-classical logics

Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994

Handbook of Philosophical Logic: Volume 1: Elements of Classical Logic Volume 2: Extensions of Classical Logic Volume 3: Alternatives to Classical Logic Volume 4