Dov M. Gabbay
Identifiers
- Open LibraryOL7554792A
Top Subjects
- Logic (5)
- Logic, history (5)
- Logic, symbolic and mathematical (4)
- Artificial intelligence (3)
- Modality (logic) (2)
- Distribution (Probability theory) (1)
- Symbolic and mathematical Logic (1)
Books by Dov M. Gabbay
Total count: 68
-
What Is a Logical System? Studies in Logic and ComputationOxford University Press1994-01-01
-
Labelled Deductive SystemsOxford University Press1996-01-01
-
Handbook of Logic in Computer Science Volume 5Logic and Algebraic MethodsOxford University Press2000-01-01
Abductive Reasoning and LearningSpringer Netherlands2000-01-01-
Handbook of the Logic of Argument and InferenceThe Turn Towards the PracticalElsevier Science & Technology Books2002-01-01
-
Many-Dimensional Modal LogicsTheory and ApplicationsElsevier Science & Technology Books2003-01-01
-
Greek, Indian and Arabic LogicElsevier Science & Technology Books2004-01-01
-
Logic, Epistemology, and the Unity of ScienceSpringer London, Limited2004-01-01
The Rise of Modern LogicFrom Leibniz to FregeElsevier2004-01-01-
Handbook of Temporal Reasoning in Artificial IntelligenceElsevier Science & Technology Books2005-01-01
-
Practical Logic of Cognitive Systems : The Reach of AbductionInsight and TrialElsevier Science & Technology Books2005-01-01
-
Interpolation and DefinabilityModal and Intuitionistic LogicsOxford University Press, Incorporated2005-01-01
-
Mathematical Problems from Applied Logic ILogics for the XXIst CenturySpringer London, Limited2006-01-01
-
Philosophy of Psychology and Cognitive ScienceElsevier Science & Technology Books2006-01-01
-
Philosophy of LogicElsevier Science & Technology Books2006-01-01
-
Many Valued and Nonmonotonic Turn in LogicElsevier Science & Technology Books2007-01-01
-
General Philosophy of ScienceFocal IssuesElsevier Science & Technology Books2007-01-01
-
Philosophy of BiologyElsevier Science & Technology Books2007-01-01
-
Neural-Symbolic Cognitive ReasoningSpringer2008-01-01
-
Mediaeval and Renaissance LogicElsevier Science & Technology Books2008-01-01
-
British Logic in the Nineteenth CenturyElsevier Science & Technology Books2008-01-01
Analysis and Synthesis of LogicsSpringer2008-08-12
Handbook of Philosophical LogicSpringer2008-08-25-
Logic from Russell to ChurchElsevier Science & Technology2009-01-01
-
Quantification in Nonclassical LogicElsevier Science & Technology Books2009-01-01
-
Philosophy of Technology and Engineering SciencesElsevier Science & Technology Books2009-01-01
-
Proof Theory for Fuzzy LogicsSpringer Netherlands2010-01-01
-
Revision, Acceptability and ContextTheoretical and Algorithmic AspectsSpringer London, Limited2010-01-01
Logical Tools for Handling Change in Agent-Based SystemsSpringer2010-10-22
Handbook of Philosophical LogicVolume 14Springer2010-11-24
Goal-Directed Proof TheorySpringer2010-12-03
Handbook of Philosophical Logic, 2nd EditionGabbay Dov M Guenthner F2010-12-08
What is Negation?Springer2010-12-09
Quantified Representation of Uncertainty and ImprecisionSpringer2010-12-09
Semantical Investigations in Heyting's Intuitionistic LogicGabbay Dov M2010-12-22-
Inductive LogicElsevier Science & Technology Books2011-01-01
-
Philosophy of ChemistryElsevier Science & Technology Books2011-01-01
-
Philosophy of EcologyElsevier Science & Technology Books2011-01-01
-
Philosophy of StatisticsElsevier Science & Technology Books2011-01-01
-
Philosophy of Complex SystemsElsevier Science & Technology Books2011-01-01
-
Philosophy of Anthropology and SociologyA Volume in the Handbook of the Philosophy of Science SeriesElsevier Science & Technology Books2011-01-01
-
Handbook of Quantum Logic and Quantum StructuresQuantum StructuresElsevier Science & Technology Books2011-01-01
-
Functional Interpretation of Logical DeductionWorld Scientific Publishing Co Pte Ltd2011-01-01
-
Philosophy of MedicineElsevier Science & Technology Books2011-01-01
Handbook of Philosophical Logic : Volume IIIAlternatives to Classical LogicSpringer2011-10-19-
Handbook of Philosophical Logic : Volume IIExtensions of Classical LogicSpringer2011-12-14
-
Logica History of Its Central ConceptsElsevier Science & Technology Books2012-01-01
-
Handbook of Philosophical Logic : Volume IElements of Classical LogicSpringer London, Limited2012-01-01
-
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and LinguisticsSpringer London, Limited2012-01-01
-
Philosophy of LinguisticsElsevier Science & Technology Books2012-01-01
-
Sets and Extensions in the Twentieth CenturyElsevier Science & Technology Books2012-01-01
-
Handbook of Philosophical Logic : Volume IVTopics in the Philosophy of LanguageSpringer London, Limited2012-01-01
-
Philosophy of EconomicsElsevier Science & Technology Books2012-01-01
-
Approaches to Legal RationalitySpringer London, Limited2012-01-01
-
Handbook of Philosophical LogicVolume 8Springer London, Limited2012-01-01
-
Quantified Representation of Uncertainty and ImprecisionSpringer London, Limited2013-01-01
-
What Is Negation?Springer2013-01-01
-
Reactive Kripke SemanticsSpringer London, Limited2013-01-01
-
Handbook of Philosophical Logic : Volume IIIAlternatives to Classical LogicSpringer London, Limited2013-01-01
-
Semantical Investigations in Heyting's Intuitionistic LogicSpringer London, Limited2013-01-01
-
Goal-Directed Proof TheorySpringer2013-01-01
-
Advances in Temporal LogicSpringer2013-01-01
Conditionals and Modularity in General LogicsSpringer2013-11-27-
Computational LogicElsevier Science & Technology Books2014-01-01
-
Abductive Reasoning and LearningSpringer2014-03-14
-
Handbook of Defeasible Reasoning and Uncertainty Management SystemsAlgorithms for Uncertainty and Defeasible ReasoningSpringer2014-03-14
-
New Perspective on Nonmonotonic LogicsSpringer2016-01-01
-
Logic Colloquium '92CSLI Publications/Center for the Study of Language & Information2022-01-01