Dov M. Gabbay

Books by Dov M. Gabbay

Total count: 40

• 
  Handbook of Defeasible Reasoning and Uncertainty Management1 edition

  Springer1899-12-31
• 
  Investigations in modal and tense logics with applications to problems in philosophy and linguistics

  D. Reidel Pub. Co.1976-01-01
• 
  Semantical investigations in Heyting's intuitionistic logic

  D. Reidel Pub. Co.1981-01-01
• Temporal logictense or nontense

  Imperial College of Science and Technology, Department of Computing1988-01-01
• Elementary logicsprocedural perspective

  E. Horwood1993-01-01
• Classical vs non-classical logicsthe universality of classical logic

  Max-Planck-Institut für Informatik1993-01-01
• 
  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3Nonmonotonic Reasoning and Uncertain Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming)

  Oxford University Press, USA1994-04-19
• Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994Proceedings (Lecture Notes in Computer Science)

  Springer1994-06-01
• Handbook of Philosophical Logic: Volume 1: Elements of Classical Logic Volume 2: Extensions of Classical Logic Volume 3: Alternatives to Classical Logic Volume 4Topics in the Philosophy of Language1 edition

  Springer1994-09-30
• 
  Labelled deductive systems

  Clarendon Press1996-01-01
• 
  Fibring logics

  Clarendon Press1999-01-01
• 
  Abductive reasoning and learning

  Kluwer Academic Publishers2000-01-01
• 
  Goal-Directed Proof Theory (Applied Logic Series Volume 21)1 edition

  Springer2000-08-31
• 
  Dynamic SyntaxThe Flow of Language Understanding

  Blackwell Publishing Limited2000-12-01
• 
  Neural-Symbolic Learning Systems1 edition

  Springer2002-09-17
• 
  A practical logic of cognitive systems1st ed.

  North Holland2003-01-01
• 
  Agenda RelevanceA Study in Formal Pragmatics, Volume Volume 1 (A Practical Logic of Cognitive Systems, Vo. 1)

  North Holland2003-05-29
• 
  Compiled Labelled Deductive SystemsA Uniform Presentation of Non-Classical Logics (Studies in Logic and Computation)

  Institute of Physics Publishing2004-11-30
• 
  Interpolation and definabilitymodal and intuitionistic logics

  Clarendon Press2005-01-01
• 
  A Practical Logic of Cognitive Systems, Volume 2: The Reach of AbductionInsight and Trial

  Elsevier Science2005-06-01
and 20 more