Dov M. Gabbay | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Dov M. Gabbay | lit.salon

Dov M. Gabbay

Born: 1945

No bio available. Add one in Open Library.

Born: 1945

Books by Dov M. Gabbay (50 max)

Handbook of Philosophical Logic, Second Edition, Volume 1 (Handbook of Philosophical Logic)

2001

Dov M. Gabbay, Franz Guenthner

Handbook of logic in artificial intelligence and logic programming

1993

Dov M. Gabbay, Christopher John Hogger, J.A. Robinson, C. J. Hogger, J. A. Robinson

Elements of classical logic

1983

Dov M. Gabbay, Franz Guenthner

Topics in the philosophy of language

1988

Dov M. Gabbay, Franz Guenthner

Elementary logics: a procedural perspective

1993

Dynamic Syntax: The Flow of Language Understanding

2000

Ruth M. Kempson, Wilfried Meyer-Viol, Dov M. Gabbay

Mathematical Problems from Applied Logic II: Logics for the XXIst Century (International Mathematical Series)

2007

Dov M. Gabbay, S. S. Goncharov, Michael Zakharyaschev

Handbook of Defeasible Reasoning and Uncertainty Management

1899

Extensions of classical logic

1984

Dov M. Gabbay, Franz Guenthner

Alternatives in [i.e. to] classical logic

1985

Dov M. Gabbay, Franz Guenthner

Temporal logic: mathematical foundations and computational aspects

1988

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science)

1994

Handbook of Defeasible Reasoning and Uncertainty Management Systems - Volume 4: Abductive Reasoning and Learning (Handbook of Defeasible Reasoning and Uncertainty Management Systems)

2000

Goal-Directed Proof Theory (Applied Logic Series Volume 21)

2000

D.M. Gabbay, N. Olivetti, Dov M. Gabbay, Nicola Olivetti

Handbook of the logic of argument and inference: the turn towards the practical

2002

Dov M. Gabbay, D.M. Gabbay, R.H. Johnson, H.J. Ohlbach, J. Woods

Handbook of the history of logic

2004

Dov M. Gabbay, John Woods

Handbook of Quantum Logic and Quantum Structures: Quantum Structures

2007

Kurt Engesser, Dov M. Gabbay, Daniel Lehmann

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

1976

Semantical investigations in Heyting's intuitionistic logic

1981

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures (Handbook of Logic in Computer Science)

1993

Samson Abramsky, Dov M. Gabbay

Classical vs non-classical logics: the universality of classical logic

1993

Handbook of philosophical logic

1994

Dov M. Gabbay, Franz Guenthner

Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994 : Proceedings (Lecture Notes in Computer Science)

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: Topics in the Philosophy of Language

1994

What is a logical system?

1994

Labelled deductive systems

1996

Handbook of defeasible reasoning and uncertainty management systems

1998

Frontiers of Combining Systems 2 (Studies in Logic and Computation)

1999

Dov M. Gabbay, Maarten de Rijke

Logic, language, and reasoning: essays in honour of Dov Gabbay

1999

What is negation?

1999

Dov M. Gabbay, H. Wansing

Fibring logics

1999

Neural-Symbolic Learning Systems

2002

Artur S. D'Avila Garcez, Krysia B. Broda, Dov M. Gabbay

A practical logic of cognitive systems

2003

Many-dimensional modal logics: theory and applications

2003

Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (Studies in Logic and Computation)

2004

Dov M. Gabbay, Luis C. Lamb, Alessandra Russo

A Practical Logic of Cognitive Systems, Volume 2: The Reach of Abduction: Insight and Trial

2005

Dov M. Gabbay, John Woods

Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 (Foundations of Artificial Intelligence)

2005

Michael Fisher, Dov M. Gabbay

Interpolation and definability: modal and intuitionistic logics

2005

Mathematical Problems from Applied Logic I: Logics for the XXIst Century (International Mathematical Series)

2005

Handbook of temporal reasoning in artificial intelligence

2005

Michael Fisher, Dov M. Gabbay

Handbook of Philosophical Logic, Vol. 13, Second Edition

2005

Handbook of the history of logic Logic and the modalities in the twentieth century

2006

Dov M. Gabbay, John Woods

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics)

2007

The Many Valued and Nonmonotonic Turn in Logic, Volume 8 (Handbook of the History of Logic)

2007

Dov M. Gabbay, John Woods

Handbook of Philosophical Logic

2007

Handbook of the History of Logic: The Emergence of Classical Logic (Handbook of the History of Logic)

2008

Mediaeval and renaissance logic

2008

Dov M. Gabbay, John Woods

Handbook of the History of Logic: Logic from Russel to Godel (Handbook of the History of Logic)

2008

Dov M. Gabbay, John Woods

New approaches to classes and concepts

2008

Second-order quantifier elimination: foundations, computational aspects and applications

2008