Dov M. Gabbay
Born 1945-01-01
Identifiers
- Open LibraryOL52174A
Top Subjects
- Logic (12)
- Symbolic and mathematical Logic (8)
- Computer science (5)
- Philosophy (4)
- Mathematics (4)
- Artificial intelligence (4)
- Philosophy / Logic (3)
Books by Dov M. Gabbay
Total count: 40
Handbook of Defeasible Reasoning and Uncertainty Management1 editionSpringer1899-12-31
Investigations in modal and tense logics with applications to problems in philosophy and linguisticsD. Reidel Pub. Co.1976-01-01
Semantical investigations in Heyting's intuitionistic logicD. Reidel Pub. Co.1981-01-01-
Temporal logictense or nontenseImperial College of Science and Technology, Department of Computing1988-01-01
-
Elementary logicsprocedural perspectiveE. Horwood1993-01-01
-
Classical vs non-classical logicsthe universality of classical logicMax-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 editionSpringer1994-09-30
Labelled deductive systemsClarendon Press1996-01-01
Fibring logicsClarendon Press1999-01-01
Abductive reasoning and learningKluwer Academic Publishers2000-01-01
Goal-Directed Proof Theory (Applied Logic Series Volume 21)1 editionSpringer2000-08-31
Dynamic SyntaxThe Flow of Language UnderstandingBlackwell Publishing Limited2000-12-01
Neural-Symbolic Learning Systems1 editionSpringer2002-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 logicsClarendon Press2005-01-01
A Practical Logic of Cognitive Systems, Volume 2: The Reach of AbductionInsight and TrialElsevier Science2005-06-01
Handbook of the history of logicLogic and the modalities in the twentieth century1st ed.Elsevier Science [distributor], .2006-01-01
Handbook of Philosophical Logic2nd Edition.Springer2007-01-01-
Second-order quantifier eliminationfoundations, computational aspects and applicationsCollege Publications2008-01-01
-
New approaches to classes and conceptsCollege Pub.2008-01-01
Mediaeval and renaissance logicNorth Holland2008-01-01
Handbook Of The History Of LogicElsevier Science Ltd2009-01-01
Handbook of quantum logic and quantum structuresquantum logic1st ed.Elsevier/North-Holland2009-01-01
Approaches to legal rationalitySpringer2010-01-01
Logical Tools for Handling Change in Agent-Based SystemsSpringer2010-01-01
Revision, acceptability and contexttheoretical and algorithmic aspectsSpringer2010-01-01
Logiḳah daʼoniṭit le-or ha-TalmudTalmudic deontic logicKing's College Publ.2010-01-01
Handbook of Philosophical LogicVolume 16Springer Science+Business Media B.V.2011-01-01
Inductive LogicElsevier Science & Technology Books.2011-01-01
Handbook of Philosophical LogicVolume 15Springer Science+Business Media B.V.2011-01-01
Conditionals and Modularity in General LogicsSpringer2011-01-01
Philosophy of StatisticsElsevier Science & Technology Books.2011-01-01-
Grundlagen der MathematikFoundations of mathematicsFirst English edition.College Publications2011-01-01
Meta-logical investigations in argumentation networksCollege Publications2013-01-01
Trends in belief revision and argumentation dynamicsCollege Publications2013-01-01
ELEMENTARY LOGIC WITH APPLICATIONSa procedural perspective for computer scientistsCOLLEGE PUBLICATIONS2016-01-01