Dov M. Gabbay

No biography available.

Works (50)

Cover of Elementary logics

Elementary logics

Cover of Handbook of temporal reasoning in artificial intelligence

Handbook of temporal reasoning in artificial intelligence

Cover of Handbook of philosophical logic

Handbook of philosophical logic

Cover of A practical logic of cognitive systems

A practical logic of cognitive systems

Cover of Dynamic syntax

Cover of Interpolation and definability

Interpolation and definability

Cover of Mathematical problems from applied logic I

Mathematical problems from applied logic I

Cover of Reactive Kripke Semantics

Reactive Kripke Semantics

Cover of Mediaeval and renaissance logic

Mediaeval and renaissance logic

Cover of What is a logical system?

What is a logical system?

Cover of Sets and Extensions in the Twentieth Century

Sets and Extensions in the Twentieth Century

Cover of Revision, acceptability and context

Revision, acceptability and context

Cover of Frontiers of combining systems 2

Frontiers of combining systems 2

Cover of Handbook of Philosophical Logic

Handbook of Philosophical Logic

Cover of Logical Tools for Handling Change in Agent-Based Systems

Logical Tools for Handling Change in Agent-Based Systems

Cover of Approaches to legal rationality

Approaches to legal rationality

Cover of Neural-symbolic learning systems

Neural-symbolic learning systems

Cover of Handbook of the history of logic

Handbook of the history of logic

Cover of Handbook Of The History Of Logic

Handbook Of The History Of Logic

Cover of Fibring logics

Cover of Temporal logic

Cover of Quantification in nonclassical logic

Quantification in nonclassical logic

Cover of Semantical Investigations in Heyting's Intuitionistic Logic

Semantical Investigations in Heyting's Intuitionistic Logic

Cover of Inductive Logic

Inductive Logic

Cover of Handbook of Philosophical Logic

Handbook of Philosophical Logic

Cover of Handbook of the logic of argument and inference

Handbook of the logic of argument and inference

Cover of Reactive Kripke Semantics

Reactive Kripke Semantics

Cover of Abductive reasoning and learning

Abductive reasoning and learning

Cover of Handbook of philosophical logic

Handbook of philosophical logic

Cover of Semantical investigations in Heyting's intuitionistic logic

Semantical investigations in Heyting's intuitionistic logic

Cover of Many-dimensional modal logics

Many-dimensional modal logics

Cover of Quantified Representation of Uncertainty and Imprecision

Quantified Representation of Uncertainty and Imprecision

Cover of Neural-Symbolic Cognitive Reasoning

Neural-Symbolic Cognitive Reasoning

Cover of Handbook of Philosophical Logic

Handbook of Philosophical Logic

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

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

Cover of Handbook Of Philosophy Of Economics

Handbook Of Philosophy Of Economics

Cover of Handbook of Philosophical Logic, 2nd Edition

Handbook of Philosophical Logic, 2nd Edition

Cover of Conditionals and Modularity in General Logics

Conditionals and Modularity in General Logics

Cover of Mathematical Problems from Applied Logic I

Mathematical Problems from Applied Logic I

Cover of Philosophy of Statistics

Philosophy of Statistics

Cover of Temporal Logic Vol. 2

Temporal Logic Vol. 2

Cover of Logic from Russell to Church

Logic from Russell to Church

Cover of Philosophy of psychology and cognitive science

Philosophy of psychology and cognitive science

Cover of Abductive Reasoning and Learning

Abductive Reasoning and Learning

Cover of Goal-Directed Proof Theory

Goal-Directed Proof Theory

Cover of What is Negation?

What is Negation?

Cover of Handbook of the history of logic

Handbook of the history of logic

Cover of Handbook of temporal reasoning in artificial intelligence

Handbook of temporal reasoning in artificial intelligence

Cover of Handbook of quantum logic and quantum structures

Handbook of quantum logic and quantum structures

Cover of Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming