Results for author 'Dov M. Gabbay'

Handbook of Logic in Computer Science: Volume 2

Background Computational Structures

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1

Logical Foundations

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3

Nonmonotonic Reasoning and Uncertain Reasoning

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2

Background Mathematical Structures

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5

Logic Programming

Handbook of Tableau Methods

Quantified Representation of Uncertainty and Imprecision

Quantified Representation of Uncertainty and Imprecision Quantified Representation of Uncertainty and Imprecision Volume 1

Reasoning with Actual and Potential Contradictions

Reasoning with Actual and Potential Contradictions Reasoning with Actual and Potential Contradictions Volume 2

Belief Change

Handbook of Defeasible Reasoning and Uncertainty Management

Fibring Logics

Oxford Logic Guides

What is Negation?

Applied Logic Series

Labelled Deductive Systems

Volume 1

Philosophy of Biology

Handbook of the Philosophy of Science

General Philosophy of Science

Handbook of the Philosophy of Science (HPHS)

Philosophy of Mathematics

Handbook of the Philosophy of Science

Logic and the Modalities in the Twentieth Century

Volume 7

Temporal Logic

Mathematical Foundations and Computational Aspects: Volume 2

Handbook of Logic in Computer Science: Volume 5

Logic & Algebraic Models

Dynamic Syntax

The Flow of Language Understanding

Handbook of Defeasible Reasoning and Uncertainty Management Systems

Algorithms for Uncertainty and Defeasible Reasoning

Handbook of Logic in Computer Science: Volume 3

Semantic Structures

Handbook of Logic in Computer Science: Volume 4

Semantic Modelling

Handbook of Philosophical Logic

Handbook of Philosophical Logic Elements of Classical Logic v. 1

Handbook of Philosophical Logic

HANDBOOK OF PHILOSOPHICAL LOGIC SECOND EDITION

A New Perspective on Nonmonotonic Logics

Handbook of Quantum Logic and Quantum Structures

Quantum Structures

Handbook of Philosophical Logic

Volume 15

Inductive Logic Volume 10

Volume 10

Logic and Computation

Volume 9

Mathematical Problems from Applied Logic I

Logics for the XXIst Century

Neural-Symbolic Cognitive Reasoning

Cognitive Technologies

Handbook of Tableau Methods

Goal-Directed Proof Theory

Applied Logic Series

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Logic from Russell to Church, Volume 5

Volume 5

Quantification in Nonclassical Logic, Volume 153

Volume 153

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

British Logic in the Nineteenth Century

Volume 4

Handbook of Philosophical Logic

Volume 17

Handbook of Philosophical Logic

Volume III: Alternatives to Classical Logic

Handbook of Philosophical Logic

Volume 8

Handbook of the History of Logic Volume 11

A History of its Central Concepts: Volume 11

Handbook of Philosophical Logic

Volume I: Elements of Classical Logic

Interpolation and Definability

Modal and Intuitionistic Logics

Mathematical Problems from Applied Logic I

Logics for the XXIst Century

Neural-Symbolic Learning Systems

Foundations and Applications

Handbook of Philosophical Logic : Volume 10

Volume 10

Logic, Epistemology, and the Unity of Science

Logic, Epistemology, and the Unity of Science

What is Negation?

Applied Logic Series

Advances in Temporal Logic

Applied Logic Series

Abductive Reasoning and Learning

Handbook of Defeasible Reasoning and Uncertainty Management Systems

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Proof Theory for Fuzzy Logics

Applied Logic Series

Handbook of Philosophical Logic

Volume 14

Handbook of Philosophical Logic

Volume 16

Meta-Logical Investigations in Argumentation Networks

Studies in Logic

The International Directory of Logicians

Who's Who in Logic

Principles of Talmudic Logic

Studies in Talmudic Logic