Results for author 'Dov M. Gabbay'

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

Neural-Symbolic Learning Systems

Foundations and Applications

Handbook of Philosophical Logic : Volume 10

Volume 10

Handbook of Philosophical Logic

HANDBOOK OF PHILOSOPHICAL LOGIC SECOND EDITION

Labelled Deductive Systems

Volume 1

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

Logic Programming

Handbook of Quantum Logic and Quantum Structures

Quantum Structures

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

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

Mathematical Problems from Applied Logic I

Logics for the XXIst Century

Interpolation and Definability

Modal and Intuitionistic Logics

A New Perspective on Nonmonotonic Logics

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

Logic from Russell to Church, Volume 5

Volume 5

Quantification in Nonclassical Logic, Volume 153

Volume 153

Logic, Epistemology, and the Unity of Science

Logic, Epistemology, and the Unity of Science

British Logic in the Nineteenth Century

Volume 4

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Handbook of Philosophical Logic

Volume 15

Inductive Logic Volume 10

Volume 10

What is Negation?

Applied Logic Series

Handbook of Tableau Methods

Advances in Temporal Logic

Applied Logic Series

Goal-Directed Proof Theory

Applied Logic Series

Abductive Reasoning and Learning

Handbook of Defeasible Reasoning and Uncertainty Management Systems

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Neural-Symbolic Cognitive Reasoning

Cognitive Technologies

Proof Theory for Fuzzy Logics

Applied Logic Series

Handbook of Philosophical Logic

Volume 14

Mathematical Problems from Applied Logic I

Logics for the XXIst Century

Logic and Computation

Volume 9

Handbook of Philosophical Logic

Volume III: Alternatives to Classical Logic

Handbook of Philosophical Logic

Volume 8

Handbook of Philosophical Logic

Volume 17

Handbook of Philosophical Logic

Volume 16

Handbook of Philosophical Logic

Volume I: Elements of Classical Logic

Handbook of the History of Logic Volume 11

A History of its Central Concepts: Volume 11

The International Directory of Logicians

Who's Who in Logic

Meta-Logical Investigations in Argumentation Networks

Studies in Logic

Principles of Talmudic Logic

Studies in Talmudic Logic