27 works Add another?
Most Editions  First Published  Most Recent

Elementary logics
3 editions  first published in 1993 
Temporal logic
2 editions  first published in 1988 
Handbook of Defeasible Reasoning and Uncertainty Management
2 editions  first published in 1899 
Dynamic Syntax
1 edition  first published in 2000 
Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 1114, 1994
1 edition  first published in 1994 
Interpolation and definability
1 edition  first published in 2005 
Investigations in modal and tense logics with applications to problems in philosophy and linguistics
1 edition  first published in 1976 
Labelled deductive systems
1 edition  first published in 1996 
Handbook Of The History Of Logic
1 edition  first published in 2009 DAISY 
Classical vs nonclassical logics
1 edition  first published in 1993 
Fibring logics
1 edition  first published in 1999 
Abductive reasoning and learning
1 edition  first published in 2000 
GoalDirected Proof Theory (Applied Logic Series Volume 21)
1 edition  first published in 2000 DAISY 
A Practical Logic of Cognitive Systems, Volume 2: The Reach of Abduction
1 edition  first published in 2005 DAISY 
NeuralSymbolic Learning Systems
1 edition  first published in 2002 
Dynamic Syntax
1 edition  first published in 2000 
Inductive Logic
1 edition  first published in 2011 DAISY 
Handbook of Philosophical Logic
1 edition  first published in 2011 DAISY 
Handbook of Philosophical Logic
1 edition  first published in 2011 DAISY 
Logical Tools for Handling Change in AgentBased Systems
1 edition  first published in 2010 DAISY 
Mediaeval and renaissance logic
1 edition  first published in 2008 DAISY 
Handbook of quantum logic and quantum structures
1 edition  first published in 2009 DAISY 
Conditionals and Modularity in General Logics
1 edition  first published in 2011 DAISY 
Semantical investigations in Heyting's intuitionistic logic
1 edition  first published in 1981 
Handbook of Philosophical Logic: Volume 1: Elements of Classical Logic Volume 2: Extensions of Classical Logic Volume 3: Alternatives to Classical Logic Volume 4
1 edition  first published in 1994 
Revision, acceptability and context
1 edition  first published in 2010 DAISY 
Approaches to legal rationality
1 edition  first published in 2010 DAISY
Dov M. Gabbay
Close
Subjects
Accessible book,
Protected DAISY,
Logic,
Symbolic and mathematical Logic,
Computer science,
Artificial intelligence,
History,
Logica,
Logik,
Machine learning,
Mathematics,
Modality (Logic),
Abduction (Logic),
Applied,
Artificial Intelligence,
Artificial Intelligence  General,
Artificial neural networks,
Automation,
Commonsense reasoning,
Comparative and general Grammar,
Computer Books: General,
Computer programming,
Computer vision,
Computers,
Computers  General Information
People
Links (outside Open Library)
No links yet. Add one?
History Created April 1, 2008 · 2 revisions
September 12, 2008  Edited by RenameBot  fix author name 
April 1, 2008  Created by an anonymous user  initial import 