Menu

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

Fibring logics

1 edition

  • 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

obnb.uk is a Good Stuff website.