| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Abductive Reasoning and Learning | Hardcover | | 978-0-7923-6565-5 | 2000 | Philippe Smets |
| Advances in Temporal Logic | " | | 978-0-7923-6149-7 | 1999 | Howard Barringer · Michael Fisher · Graham Gough |
| A New Approach to Quantum Logic | Paperback | | 978-1-904987-53-6 | 2007 | Kurt Engesser · Daniel Lehmann |
| A New Perspective on Nonmonotonic Logics | Taschenbuch | | 978-3-319-83593-8 | 2018 |
| A New Perspective on Nonmonotonic Logics | Gebunden | | 978-3-319-46815-0 | 2016 | Karl Schlechta |
| A New Perspective on Nonmonotonic Logics | Paperback | | 978-3-319-46816-7 | 2016 | " |
| British Logic in the Nineteenth Century (Volume 4) | Hardcover | | 978-0-444-51610-7 | 2008 | John Woods |
| Computational Logic, Volume 9 | " | | 978-0-444-51624-4 | 2014 | Jörg H. Siekmann · John Woods |
| Conditionals and Modularity in General Logics | Gebunden | | 978-3-642-19067-4 | 2011 | Karl Schlechta |
| Conditionals and Modularity in General Logics | Paperback | | 978-3-642-19069-8 | 2011 | " |
| Dynamic Syntax: The Flow of Language Understanding | " | | 978-0-631-17613-8 | 2000 | Ruth Kempson · Wilfried Meyer-Viol |
| Elementary Logics: A Procedural Perspective | " | | 978-0-13-726365-3 | 1998 |
| Fibring Logics | Hardcover | | 978-0-19-850381-1 | 1998 |
| Frontiers of Combining Systems: International Workshop 2nd | " | | 978-0-86380-252-2 | 2000 |
| General Philosophy of Science: Focal Issues | " | | 978-0-444-51548-3 | 2007 | Theo A.F. Kuipers · Paul Thagard · John Woods |
| Greek, Indian and Arabic Logic, Volume 1 | " | | 978-0-444-50466-1 | 2004 | John Woods |
| Handbook of Defeasible Reasoning and Uncertainty Management Systems - Volume 5: Algorithms for Uncertainty and Defeasible Reasoning | " | | 978-0-7923-6672-0 | 2000 | Philippe Smets |
| Handbook of Defeasible Reasoning and Uncertainty Management. Volume 2, Reasoning with Actual and Potential Conditions | " | | 978-0-7923-5161-0 | 1998 | " |
| Handbook of Logic in Artificial Intelligence and Logic Programming: Epistemic and Temporal Logics v.4: Epistemic and Temporal Logics Vol 4 | " | | 978-0-19-853791-5 | 1995 | etc. |
| Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies: Deduction Methodologies Vol 2 | " | | 978-0-19-853746-5 | 1994 | J. A. Robinson · Christopher J. Hogger |
| Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning: Nonmonotoaic Reasoning and Uncertain Reasoning Vol 3 | " | | 978-0-19-853747-2 | 1994 | J. A. Robinson · Christopher J. Hogger |
| Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures: Background - Mathematical Structures Vol 1 | " | | 978-0-19-853735-9 | 1992 | S. Abramsky · T. S. E. Maibaum |
| Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures: Background - Computational Structures Vol 2 | " | | 978-0-19-853761-8 | 1992 | S. Abramsky |
| Handbook of Logic in Computer Science: Volume 3. Semantic Structures: Semantic Structures Vol 3 | " | | 978-0-19-853762-5 | 1995 | S. Abramsky · T. S. E. Maibaum |
| Handbook of Logic in Computer Science: Volume 4: Semantic Modelling: Semantic Modelling Vol 4 | " | | 978-0-19-853780-9 | 1995 | Samson Abramsky · T. S. Maibaum |
| Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods: Algebraic and Logical Structures Vol 5 | " | | 978-0-19-853781-6 | 2001 | Samson Abramsky · T. S. Maibaum |
| Handbook of Paraconsistency | Paperback | | 978-1-904987-73-4 | 2007 | Jean-Yves Beziau · Walter A. Carnielli |
| Handbook of Philosophical Logic | " | | 978-94-007-0480-0 | 2011 | Franz Guenthner |
| Handbook of Philosophical Logic | " | | 978-94-007-0486-2 | 2011 | " |
| Handbook of Philosophical Logic | Hardcover | | 978-1-4020-0235-9 | 2002 | " |
| Handbook of Philosophical Logic | " | | 978-1-4020-0583-1 | 2002 | " |
| Handbook of Philosophical Logic | " | | 978-0-7923-7018-5 | 2001 | " |
| Handbook of Philosophical Logic | " | | 978-0-7923-7126-7 | 2001 | " |
| Handbook of Philosophical Logic | " | | 978-0-7923-7160-1 | 2001 | " |
| Handbook of Philosophical Logic: Volume 14 | " | | 978-1-4020-6323-7 | 2007 | " |
| Handbook of Philosophical Logic: Volume 15 | " | | 978-94-007-0484-8 | 2010 | " |
| Handbook of Philosophical Logic: Volume 16 | " | | 978-94-007-0478-7 | 2010 | " |
| Handbook of Quantum Logic and Quantum Structures | " | | 978-0-444-52869-8 | 2008 | Kurt Engesser · Daniel Lehmann |
| Handbook of Tableau Methods | " | | 978-0-7923-5627-1 | 1999 | M. D'Agostino · Reiner Hähnle · J. Posegga |
| Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 | " | | 978-0-444-51493-6 | 2005 | Michael David Fisher · Lluis Vila |
| Interpolation and Definability: Modal and Intuitionistic Logic: Modal and Intuitionistic Logics | " | | 978-0-19-851174-8 | 2005 | Larisa Maksimova |
| Labelled Deductive Systems: Volume 1: Vol 1 | " | | 978-0-19-853833-2 | 1996 |
| Logic: A History of its Central Concepts, Vol. 11 | " | | 978-0-444-52937-4 | 2012 | Francis Jeffry Pelletier · John Woods |
| Logical Tools for Handling Change in Agent-Based Systems | Gebunden | | 978-3-642-04406-9 | 2009 | Karl Schlechta |
| Logic and the Modalities in the Twentieth Century, Volume 7 | Hardcover | | 978-0-444-51622-0 | 2006 | John Woods |
| Logic, Epistemology, and the Unity of Science | " | | 978-1-4020-2807-6 | 2004 | Shahid Rahman · John Symons · jean paul van bendegem |
| Logic for Artificial Intelligence and Information Technology | Paperback | | 978-1-904987-39-0 | 2007 |
| Logic from Russell to Church (Volume 5) | Hardcover | | 978-0-444-51620-6 | 2009 | John Woods |
| Mathematical Problems from Applied Logic I: Logics for the XXIst Century | " | | 978-0-387-28688-4 | 2005 | Sergei S. Goncharov · Michael Zakharyaschev |
| Mediaeval and Renaissance Logic, Volume 2 | " | | 978-0-444-51625-1 | 2008 | John Woods |
| Neural-Symbolic Cognitive Reasoning | Gebunden | | 978-3-540-73245-7 | 2008 | Artur S. D'Avila Garcez · Luís C. Lamb |
| Philosophy of Biology | Hardcover | | 978-0-444-51543-8 | 2007 | Mohan Matthen · Christopher Stephens · Paul Thagard · John Woods |
| Philosophy of Mathematics | " | | 978-0-444-51555-1 | 2009 | Andrew Irvine · Paul Thagard · John Woods |
| Philosophy of Physics 2 volume set | " | | 978-0-444-51560-5 | 2006 | Jeremy Butterfield · John Earman · Paul Thagard · John Woods |
| Philosophy of Psychology and Cognitive Science | " | | 978-0-444-51540-7 | 2007 | Paul Thagard · John Woods |
| Philosophy of Statistics, Volume 7 | " | | 978-0-444-51862-0 | 2011 | Prasanta S. Bandyopadhyay · Malcolm R. Forster · Paul Thagard · John Woods |
| Philosophy of Technology and Engineering Sciences | " | | 978-0-444-51667-1 | 2009 | Anthonie W.M. Meijers · Paul Thagard · John Woods |
| Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. | Taschenbuch | | 978-3-540-61313-8 | 2008 | Hans J??rgen Ohlbach |
| Proof Theory for Fuzzy Logics | Hardcover | | 978-1-4020-9408-8 | 2008 | George Metcalfe · Nicola Olivetti |
| Reactive Kripke Semantics | Gebunden | | 978-3-642-41388-9 | 2013 |
| Revision, Acceptability and Context: Theoretical and Algorithmic Aspects | " | | 978-3-642-14158-4 | 2010 | Odinaldo T. Rodrigues · Alessandra Russo |
| Sets and Extensions in the Twentieth Century, Volume 6 | Hardcover | | 978-0-444-51621-3 | 2012 | Akihiro Kanamori · John Woods |
| Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings | Taschenbuch | | 978-3-540-58241-0 | 2008 | Hans J. Ohlbach |
| Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994: Proceedings | Paperback | | 978-0-387-58241-2 | 1994 |
| Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2: Vol 2 | Hardcover | | 978-0-19-853768-7 | 2000 | M. Finger · M. Reynolds |
| Temporal Logic: Volume 1: Mathematical Foundations and Computational Aspects: Vol 1 | " | | 978-0-19-853769-4 | 1994 | Ian Hodkinson · Mark Reynolds |
| The Many Valued and Nonmonotonic Turn in Logic, Volume 8 | " | | 978-0-444-51623-7 | 2007 | John Woods |
| The Rise of Modern Logic: from Leibniz to Frege, Volume 3 | " | | 978-0-444-51611-4 | 2004 | " |
| What is Negation? | " | | 978-0-7923-5569-4 | 1999 | Heinrich Wansing |