Dov M. Gabbay
41 published titles
Semantical investigations in Heyting's intuitionistic logic
1 edition
- ISBN: 9027712026
- Reidel
- 1981
- Details
Handbook of philosophical logic
(Contributor)
6 editions
- ISBN: 9027715424
- Reidel
- 1983
- Details
- ISBN: 9027716048
- Reidel
- 1984
- Details
- ISBN: 9027716056
- Reidel
- 1986
- Details
- ISBN: 0792331001
- Kluwer Academic
- 1994
- Details
- ISBN: 0792331001
- Kluwer Academic
- 1994
- Details
- ISBN: 9789400765993
- Kluwer Academic Publishers
- 2001
- Details
Handbook of logic in computer science
(Contributor)
3 editions
- ISBN: 0198537352
- Clarendon
- 1992
- Details
- ISBN: 0198537611
- Clarendon
- 1992
- Details
- ISBN: 0198537808
- Clarendon
- 1995
- Details
Handbook of logic in artificial intelligence and logic programming. Vol. 1, Logical foundations
(Contributor)
1 edition
- ISBN: 019853745X
- Clarendon Press
- 1993
- Details
Temporal logic : mathematical foundations and computational aspects
1 edition
- ISBN: 0198537697
- Clarendon.
- 1994
- Details
Handbook of logic in artificial intelligence and logic programming. Vol.2, Deduction methodologies
(Contributor)
1 edition
- ISBN: 0198537468
- Clarendon
- 1994
- Details
Handbook of logic in artificial intelligence and logic programming. Vol.3, Nonmonotonic reasoning and uncertain reasoning
(Contributor)
1 edition
- ISBN: 0198537476
- Clarendon
- 1994
- Details
Handbook of logic in computer science. Vol. 3, Semantic structures
(Contributor)
1 edition
- ISBN: 019853762X
- Clarendon
- 1994
- Details
What is a logical system?
(Contributor)
1 edition
- ISBN: 0198538596
- Clarendon Press
- 1994
- Details
Handbook of philosophical logic. Vol.3, Alternatives of classical logic
(Contributor)
1 edition
- ISBN: 0792331001
- Kluwer Academic
- 1994
- Details
Handbook of philosophical logic. Vol.4, Topics in the philosophy of language
(Contributor)
1 edition
- ISBN: 0792331001
- Kluwer Academic
- 1994
- Details
Handbook of logic in artificial intelligence and logic programming
(Contributor)
1 edition
- ISBN: 0198537913
- Clarendon Press
- 1995
- Details
Labelled deductive systems
1 edition
- ISBN: 0198538332
- Clarendon
- 1996
- Details
Qualitative and quantitative practical reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97 : Bad Honnef, Germany, June 9-12, 1997 : p
(Contributor)
1 edition
- ISBN: 3540630953
- Springer
- 1997
- Details
Handbook of logic in artificial intelligence and logic programming. Vol. 5, Logic programming
(Contributor)
1 edition
- ISBN: 0198537921
- Clarendon
- 1998
- Details
- ISBN: 0198503814
- Clarendon
- 1999
- Details
Logic, language and reasoning : essays in honour of Dov Gabbay
(Contributor)
1 edition
- ISBN: 079235687X
- Kluwer Academic
- 1999
- Details
What is negation?
(Contributor)
1 edition
- ISBN: 0792355695
- Kluwer Academic
- 1999
- Details
Temporal logic. Vol. 2, Mathematical foundations and computational aspects
1 edition
- ISBN: 0198537689
- Oxford University Press
- 2000
- Details
Logic and algebraic methods
(Contributor)
1 edition
- ISBN: 0198537816
- Clarendon
- 2000
- Details
Goal-directed proof theory
1 edition
- ISBN: 0792364732
- Kluwer Academic
- 2000
- Details
Frontiers of combining systems 2
(Contributor)
1 edition
- ISBN: 0863802524
- Research Studies Press
- 2000
- Details
Abductive reasoning and learning
(Contributor)
1 edition
- ISBN: 0792365658
- Kluwer Academic
- 2000
- Details
Dynamic syntax : the flow of language understanding
(Contributor)
1 edition
- ISBN: 0631176136
- Blackwell Publishers
- 2001
- Details
Neural-symbolic learning system : foundations and applications
(Contributor)
1 edition
- ISBN: 1852335122
- Springer
- 2002
- Details
Many-dimensional modal logics : theory and applications
(Contributor)
1 edition
- ISBN: 0444508260
- Elsevier
- 2003
- Details
Agenda relevance : a study in formal pragmatics
1 edition
- ISBN: 044451385X
- Elsevier
- 2003
- Details
Handbook of the history of logic
(Contributor)
1 edition
- ISBN: 9780444516237
- North-Holland
- 2004
- Details
Interpolation and definability : modal and intuitionistic logic
1 edition
- ISBN: 0198511744
- Oxford University Press
- 2005
- Details
Handbook of quantum logic and quantum structures : quantum structures
(Contributor)
1 edition
- ISBN: 9780444528704
- Elsevier
- 2007
- Details
Logic for artificial intelligence & information technology
1 edition
- ISBN: 9781904987390
- College Publications
- 2007
- Details
A new approach to quantum logic
(Contributor)
1 edition
- ISBN: 9781904987536
- College Publications
- 2007
- Details
Handbook of paraconsistency
(Contributor)
1 edition
- ISBN: 9781904987734
- College publications
- 2007
- Details
Second-order quantifier elimination : foundations, computational aspects and applications
1 edition
- ISBN: 9781904987567
- College Pub.
- 2008
- Details
Handbook of quantum logic and quantum structures : quantum logic
(Contributor)
1 edition
- ISBN: 9780444528698
- Elsevier Science
- 2008
- Details
Neural-symbolic cognitive reasoning
(Contributor)
1 edition
- ISBN: 9783540732457
- Springer
- 2009
- Details
Proof theory for fuzzy logics
(Contributor)
1 edition
- ISBN: 9781402094095
- Springer
- 2009
- Details
Quantification in nonclassical logic
1 edition
- ISBN: 9780444520128
- Elsevier
- 2009
- Details
The International directory of logicians : who's who in logic
(Contributor)
1 edition
- ISBN: 9781904987901
- College Publications
- 2009
- Details
Logical tools for handling change in agent-based systems
1 edition
- ISBN: 9783642044076
- Springer
- 2010
- Details
Approaches to legal rationality
(Contributor)
1 edition
- ISBN: 9789048195886
- Springer
- 2010
- Details