Search dblp for Publications

export results for "stream:streams/series/hhl:"

 download as .bib file

@book{DBLP:series/hhl/9,
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  publisher = {Elsevier},
  year      = {2014},
  isbn      = {978-0-444-51624-4},
  timestamp = {Mon, 03 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/9.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Ambos-SpiesF14,
  author    = {Klaus Ambos{-}Spies and
               Peter A. Fejer},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Degrees of Unsolvability},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {443--494},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50010-1},
  doi       = {10.1016/B978-0-444-51624-4.50010-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Ambos-SpiesF14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/BaetenS14,
  author    = {Jos C. M. Baeten and
               Davide Sangiorgi},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Concurrency Theory: {A} Historical Perspective on Coinduction and
               Process Calculi},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {399--442},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50009-5},
  doi       = {10.1016/B978-0-444-51624-4.50009-5},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/BaetenS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/BenzmullerM14,
  author    = {Christoph Benzm{\"{u}}ller and
               Dale Miller},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Automation of Higher-Order Logic},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {215--254},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50005-8},
  doi       = {10.1016/B978-0-444-51624-4.50005-8},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/BenzmullerM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Davis14,
  author    = {Martin Davis},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Logic and the development of the computer},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {31--38},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50002-2},
  doi       = {10.1016/B978-0-444-51624-4.50002-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Davis14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/DuboisP14,
  author    = {Didier Dubois and
               Henri Prade},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Possibilistic Logic - An Overview},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {283--342},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50007-1},
  doi       = {10.1016/B978-0-444-51624-4.50007-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/DuboisP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/FortnowH14,
  author    = {Lance Fortnow and
               Steven Homer},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Computational Complexity},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {495--521},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50011-3},
  doi       = {10.1016/B978-0-444-51624-4.50011-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/FortnowH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Gabbay14,
  author    = {Dov M. Gabbay},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {What is a logical system? An evolutionary view: 1964-2014},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {41--132},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50003-4},
  doi       = {10.1016/B978-0-444-51624-4.50003-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Gabbay14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/HarrisonUW14,
  author    = {John Harrison and
               Josef Urban and
               Freek Wiedijk},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {History of Interactive Theorem Proving},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {135--214},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50004-6},
  doi       = {10.1016/B978-0-444-51624-4.50004-6},
  timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/HarrisonUW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/HitzlerLP14,
  author    = {Pascal Hitzler and
               Jens Lehmann and
               Axel Polleres},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Logics for the Semantic Web},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {679--710},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50016-2},
  doi       = {10.1016/B978-0-444-51624-4.50016-2},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/HitzlerLP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/KamareddineWZB14,
  author    = {Fairouz Kamareddine and
               Joe B. Wells and
               Christoph Zengler and
               Henk Barendregt},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Computerising Mathematical Text},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {343--396},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50008-3},
  doi       = {10.1016/B978-0-444-51624-4.50008-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/KamareddineWZB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/KirchnerK14,
  author    = {Claude Kirchner and
               H{\'{e}}l{\`{e}}ne Kirchner},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Equational Logic and Rewriting},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {255--282},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50006-X},
  doi       = {10.1016/B978-0-444-51624-4.50006-X},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/KirchnerK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/KnorrH14,
  author    = {Matthias Knorr and
               Pascal Hitzler},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Description Logics},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {659--678},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50015-0},
  doi       = {10.1016/B978-0-444-51624-4.50015-0},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/KnorrH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Kowalski14,
  author    = {Robert A. Kowalski},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Logic Programming},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {523--569},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50012-5},
  doi       = {10.1016/B978-0-444-51624-4.50012-5},
  timestamp = {Sat, 14 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Kowalski14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Meyer14,
  author    = {John{-}Jules Ch. Meyer},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Logics for Intelligent Agents and Multi-Agent Systems},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {629--658},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50014-9},
  doi       = {10.1016/B978-0-444-51624-4.50014-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Meyer14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/MinkerSZ14,
  author    = {Jack Minker and
               Dietmar Seipel and
               Carlo Zaniolo},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Logic and Databases: {A} History of Deductive Databases},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {571--627},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50013-7},
  doi       = {10.1016/B978-0-444-51624-4.50013-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/MinkerSZ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Siekmann14,
  author    = {J{\"{o}}rg H. Siekmann},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Computational Logic},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  pages     = {15--30},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50001-0},
  doi       = {10.1016/B978-0-444-51624-4.50001-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Siekmann14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/SiekmannG14,
  author    = {J{\"{o}}rg H. Siekmann and
               Dov M. Gabbay},
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {Editorial Note},
  booktitle = {Computational Logic},
  series    = {Handbook of the History of Logic},
  volume    = {9},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/B978-0-444-51624-4.50019-8},
  doi       = {10.1016/B978-0-444-51624-4.50019-8},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/SiekmannG14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/11,
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  publisher = {Elsevier},
  year      = {2012},
  isbn      = {978-0-444-52937-4},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/6,
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  publisher = {Elsevier},
  year      = {2012},
  isbn      = {978-0-444-51621-3},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/6.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/AsmusR12,
  author    = {Conrad Asmus and
               Greg Restall},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History of The Consequence Relations},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {11--61},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50001-0},
  doi       = {10.1016/B978-0-444-52937-4.50001-0},
  timestamp = {Thu, 09 Jul 2020 09:13:37 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/AsmusR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Bell12,
  author    = {John L. Bell},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {Types, Sets, and Categories},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {633--687},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50009-8},
  doi       = {10.1016/B978-0-444-51621-3.50009-8},
  timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Bell12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Beziau12,
  author    = {Jean{-}Yves B{\'{e}}ziau},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History of Truth-Values},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {235--307},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50005-8},
  doi       = {10.1016/B978-0-444-52937-4.50005-8},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Beziau12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Bonevac12,
  author    = {Daniel Bonevac},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History of Quantification},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {63--126},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50002-2},
  doi       = {10.1016/B978-0-444-52937-4.50002-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Bonevac12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/BonevacD12,
  author    = {Daniel Bonevac and
               Josh Dever},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History of The Connectives},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {175--233},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50004-6},
  doi       = {10.1016/B978-0-444-52937-4.50004-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/BonevacD12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/GabbayPW12,
  author    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {Preface},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50017-4},
  doi       = {10.1016/B978-0-444-52937-4.50017-4},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/GabbayPW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/HolmesFL12,
  author    = {M. Randall Holmes and
               Thomas E. Forster and
               Thierry Libert},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {Alternative Set Theories},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {559--632},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50008-6},
  doi       = {10.1016/B978-0-444-51621-3.50008-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/HolmesFL12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/KamareddineLC12,
  author    = {Fairouz Kamareddine and
               Twan Laan and
               Robert L. Constable},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {Russell's Orders in Kripke's Theory of Truth and Computational Type
               Theory},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {801--845},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50011-6},
  doi       = {10.1016/B978-0-444-51621-3.50011-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/KamareddineLC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/KamareddineLN12,
  author    = {Fairouz Kamareddine and
               Twan Laan and
               Rob Nederpelt},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History of Types\({}^{\mbox{*}}\)},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {451--511},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50009-5},
  doi       = {10.1016/B978-0-444-52937-4.50009-5},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/KamareddineLN12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Kanamori12,
  author    = {Akihiro Kanamori},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {Set Theory from Cantor to Cohen},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {1--71},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50001-3},
  doi       = {10.1016/B978-0-444-51621-3.50001-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Kanamori12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Kanamori12a,
  author    = {Akihiro Kanamori},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {Large Cardinals with Forcing},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {359--413},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50004-9},
  doi       = {10.1016/B978-0-444-51621-3.50004-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Kanamori12a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Knuuttila12,
  author    = {Simo Knuuttila},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History of Modal Traditions},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {309--339},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50006-X},
  doi       = {10.1016/B978-0-444-52937-4.50006-X},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Knuuttila12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Kojman12,
  author    = {Menachem Kojman},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {Singular Cardinals: From Hausdorff's Gaps to Shelah's {PCF} Theory},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {509--558},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50007-4},
  doi       = {10.1016/B978-0-444-51621-3.50007-4},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Kojman12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Larson12,
  author    = {Jean A. Larson},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {Infinite Combinatorics},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {145--357},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50003-7},
  doi       = {10.1016/B978-0-444-51621-3.50003-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Larson12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Larson12a,
  author    = {Paul B. Larson},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {A Brief History of Determinacy},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {457--507},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50006-2},
  doi       = {10.1016/B978-0-444-51621-3.50006-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Larson12a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/MarquisR12,
  author    = {Jean{-}Pierre Marquis and
               Gonzalo E. Reyes},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {The History of Categorical Logic: 1963-1977},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {689--800},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50010-4},
  doi       = {10.1016/B978-0-444-51621-3.50010-4},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/series/hhl/MarquisR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/McCall12,
  author    = {Storrs McCall},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History Of Connexivity},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {415--449},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50008-3},
  doi       = {10.1016/B978-0-444-52937-4.50008-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/McCall12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Mitchell12,
  author    = {William J. Mitchell},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {Inner Models for Large Cardinals},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {415--456},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50005-0},
  doi       = {10.1016/B978-0-444-51621-3.50005-0},
  timestamp = {Fri, 16 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/series/hhl/Mitchell12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/MoktefiS12,
  author    = {Amirouche Moktefi and
               Sun{-}Joo Shin},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History of Logic Diagrams},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {611--682},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50011-3},
  doi       = {10.1016/B978-0-444-52937-4.50011-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/MoktefiS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/PelletierH12,
  author    = {Francis Jeffry Pelletier and
               Allen P. Hazen},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History of Natural Deduction},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {341--414},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50007-1},
  doi       = {10.1016/B978-0-444-52937-4.50007-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/PelletierH12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/SperanzaH12,
  author    = {J. L. Speranza and
               Laurence R. Horn},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {History of Negation},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {127--173},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50003-4},
  doi       = {10.1016/B978-0-444-52937-4.50003-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/SperanzaH12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Steprans12,
  author    = {Juris Steprans},
  editor    = {Dov M. Gabbay and
               Akihiro Kanamori and
               John Woods},
  title     = {History of the Continuum in the 20\({}^{\mbox{th}}\) Century},
  booktitle = {Sets and Extensions in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {6},
  pages     = {73--144},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-51621-3.50002-5},
  doi       = {10.1016/B978-0-444-51621-3.50002-5},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/series/hhl/Steprans12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Woods12,
  author    = {John Woods},
  editor    = {Dov M. Gabbay and
               Francis Jeffry Pelletier and
               John Woods},
  title     = {A History of the Fallacies in Western Logic\({}^{\mbox{1}}\)},
  booktitle = {Logic: {A} History of its Central Concepts},
  series    = {Handbook of the History of Logic},
  volume    = {11},
  pages     = {513--610},
  publisher = {Elsevier},
  year      = {2012},
  url       = {https://doi.org/10.1016/B978-0-444-52937-4.50010-1},
  doi       = {10.1016/B978-0-444-52937-4.50010-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Woods12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/10,
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/c2009-0-16928-3},
  doi       = {10.1016/c2009-0-16928-3},
  isbn      = {978-0-444-52936-7},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/ChaterOHH11,
  author    = {Nick Chater and
               Mike Oaksford and
               Ulrike Hahn and
               Evan Heit},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Inductive Logic and Empirical Psychology},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {553--624},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50014-8},
  doi       = {10.1016/B978-0-444-52936-7.50014-8},
  timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/ChaterOHH11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/EberhardtG11,
  author    = {Frederick Eberhardt and
               Clark Glymour},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Hans Reichenbach's Probability Logic},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {357--389},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50010-0},
  doi       = {10.1016/B978-0-444-52936-7.50010-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/EberhardtG11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Forster11,
  author    = {Malcolm R. Forster},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {The Debate between Whewell and Mill on the Nature of Scientific Induction},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {93--115},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50003-3},
  doi       = {10.1016/B978-0-444-52936-7.50003-3},
  timestamp = {Fri, 13 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/series/hhl/Forster11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Galavotti11,
  author    = {Maria Carla Galavotti},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {The Modern Epistemic Interpretations of Probability: Logicism and
               Subjectivism},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {153--203},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50005-7},
  doi       = {10.1016/B978-0-444-52936-7.50005-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Galavotti11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Jonathan11,
  author    = {Jonathan Weisberg},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Varieties of Bayesianism},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {477--551},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50013-6},
  doi       = {10.1016/B978-0-444-52936-7.50013-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Jonathan11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Joyce11,
  author    = {James M. Joyce},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {The Development of Subjective Bayesianism},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {415--475},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50012-4},
  doi       = {10.1016/B978-0-444-52936-7.50012-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Joyce11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Lange11,
  author    = {Marc Lange},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Hume and the Problem of Induction},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {43--91},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50002-1},
  doi       = {10.1016/B978-0-444-52936-7.50002-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Lange11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/LuxburgS11,
  author    = {Ulrike von Luxburg and
               Bernhard Sch{\"{o}}lkopf},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Statistical Learning Theory: Models, Concepts, and Results},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {651--706},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50016-1},
  doi       = {10.1016/B978-0-444-52936-7.50016-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/LuxburgS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Milton11,
  author    = {J. R. Milton},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Induction before Hume},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {1--41},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50001-X},
  doi       = {10.1016/B978-0-444-52936-7.50001-X},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Milton11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Musgrave11,
  author    = {Alan Musgrave},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Popper and Hypothetico-deductivism},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {205--234},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50006-9},
  doi       = {10.1016/B978-0-444-52936-7.50006-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Musgrave11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Niiniluoto11,
  author    = {Ilkka Niiniluoto},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {The Development of the Hintikka Program},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {311--356},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50009-4},
  doi       = {10.1016/B978-0-444-52936-7.50009-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Niiniluoto11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/OrtnerL11,
  author    = {Ronald Ortner and
               Hannes Leitgeb},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Mechanizing Induction},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {719--772},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50018-5},
  doi       = {10.1016/B978-0-444-52936-7.50018-5},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/OrtnerL11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/OshersonW11,
  author    = {Daniel N. Osherson and
               Scott Weinstein},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Formal Learning Theory in Context},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {707--717},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50017-3},
  doi       = {10.1016/B978-0-444-52936-7.50017-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/OshersonW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Psillos11,
  author    = {Stathis Psillos},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {An Explorer upon Untrodden Ground: Peirce on Abduction},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {117--151},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50004-5},
  doi       = {10.1016/B978-0-444-52936-7.50004-5},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Psillos11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Romeijn11,
  author    = {Jan{-}Willem Romeijn},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Inductive Logic and Statistics},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {625--650},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50015-X},
  doi       = {10.1016/B978-0-444-52936-7.50015-X},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Romeijn11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Schwartz11,
  author    = {Robert Schwartz},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Goodman and the Demise of Syntactic and Semantic Models},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {391--413},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50011-2},
  doi       = {10.1016/B978-0-444-52936-7.50011-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Schwartz11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Sprenger11,
  author    = {Jan Sprenger},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Hempel and the Paradoxes of Confirmation},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {235--263},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50007-0},
  doi       = {10.1016/B978-0-444-52936-7.50007-0},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/series/hhl/Sprenger11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Zabell11,
  author    = {Sandy L. Zabell},
  editor    = {Dov M. Gabbay and
               Stephan Hartmann and
               John Woods},
  title     = {Carnap and the Logic of Inductive Inference},
  booktitle = {Inductive Logic},
  series    = {Handbook of the History of Logic},
  volume    = {10},
  pages     = {265--309},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/B978-0-444-52936-7.50008-2},
  doi       = {10.1016/B978-0-444-52936-7.50008-2},
  timestamp = {Mon, 21 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Zabell11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/5,
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  publisher = {Elsevier},
  year      = {2009},
  isbn      = {978-0-444-51620-6},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/5.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/AttenK09,
  author    = {Mark van Atten and
               Juliette Kennedy},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {G{\"{o}}del's Logic},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {449--509},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70014-7},
  doi       = {10.1016/S1874-5857(09)70014-7},
  timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/AttenK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Cantini09,
  author    = {Andrea Cantini},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Paradoxes, Self-Reference and Truth in the 20th Century},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {875--1013},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70020-2},
  doi       = {10.1016/S1874-5857(09)70020-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Cantini09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/CardoneH09,
  author    = {Felice Cardone and
               J. Roger Hindley},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Lambda-Calculus and Combinators in the 20th Century},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {723--817},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70018-4},
  doi       = {10.1016/S1874-5857(09)70018-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/CardoneH09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/FenstadW09,
  author    = {Jens Erik Fenstad and
               Hao Wang},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Thoralf Albert Skolem},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {127--194},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70008-1},
  doi       = {10.1016/S1874-5857(09)70008-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/FenstadW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/GabbayW09,
  author    = {Dov M. Gabbay and
               John Woods},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Preface},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70003-2},
  doi       = {10.1016/S1874-5857(09)70003-2},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/GabbayW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Irvine09,
  author    = {Andrew David Irvine},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Bertrand Russell's Logic},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {1--28},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70005-6},
  doi       = {10.1016/S1874-5857(09)70005-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Irvine09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Jacquette09,
  author    = {Dale Jacquette},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Logic for Meinongian Object Theory Semantics},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {29--76},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70006-8},
  doi       = {10.1016/S1874-5857(09)70006-8},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Jacquette09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Moschovakis09,
  author    = {Joan Rand Moschovakis},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The Logic of Brouwer and Heyting},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {77--125},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70007-X},
  doi       = {10.1016/S1874-5857(09)70007-X},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Moschovakis09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Plato09,
  author    = {Jan von Plato},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Gentzen's Logic},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {667--721},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70017-2},
  doi       = {10.1016/S1874-5857(09)70017-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Plato09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Potter09,
  author    = {Michael Potter},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The Logic of The Tractatus},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {255--304},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70010-X},
  doi       = {10.1016/S1874-5857(09)70010-X},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Potter09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Seldin09,
  author    = {Jonathan P. Seldin},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The Logic of Church and Curry},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {819--873},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70019-6},
  doi       = {10.1016/S1874-5857(09)70019-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Seldin09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Sieg09,
  author    = {Wilfried Sieg},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Hilbert's Proof Theory},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {321--384},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70012-3},
  doi       = {10.1016/S1874-5857(09)70012-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Sieg09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Simmons09,
  author    = {Keith Simmons},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Tarski's Logic},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {511--616},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70015-9},
  doi       = {10.1016/S1874-5857(09)70015-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Simmons09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Simons09,
  author    = {Peter M. Simons},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Le{\'{s}}niewski's Logic},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {305--320},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70011-1},
  doi       = {10.1016/S1874-5857(09)70011-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Simons09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Slater09,
  author    = {Barry Hartley Slater},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Hilbert's Epsilon Calculus and its Successors},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {385--448},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70013-5},
  doi       = {10.1016/S1874-5857(09)70013-5},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Slater09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Urquhart09,
  author    = {Alasdair Urquhart},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Emil Post},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {617--666},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70016-0},
  doi       = {10.1016/S1874-5857(09)70016-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Urquhart09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/WirthSBA09,
  author    = {Claus{-}Peter Wirth and
               J{\"{o}}rg H. Siekmann and
               Christoph Benzm{\"{u}}ller and
               Serge Autexier},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Jacques Herbrand: Life, Logic, and Automated Deduction},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {195--254},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70009-3},
  doi       = {10.1016/S1874-5857(09)70009-3},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/WirthSBA09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/2,
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  publisher = {Elsevier},
  year      = {2008},
  isbn      = {978-0-444-51625-1},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/2.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/4,
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  publisher = {Elsevier},
  year      = {2008},
  isbn      = {978-0-444-51610-7},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/4.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Ashworth08,
  author    = {Earline Jennifer Ashworth},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Developments in the Fifteenth and Sixteenth Centuries},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {609--643},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80032-5},
  doi       = {10.1016/S1874-5857(08)80032-5},
  timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Ashworth08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Dvorak08,
  author    = {Petr Dvorak},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Relational Logic of Juan Caramuel},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {645--665},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80033-7},
  doi       = {10.1016/S1874-5857(08)80033-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Dvorak08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Evra08,
  author    = {James W. van Evra},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Richard Whately and logical theory},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {75--91},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80006-4},
  doi       = {10.1016/S1874-5857(08)80006-4},
  timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Evra08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Evra08a,
  author    = {James W. van Evra},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {John Venn and logical theory},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {507--513},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80014-3},
  doi       = {10.1016/S1874-5857(08)80014-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Evra08a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/GabbayW08,
  author    = {Dov M. Gabbay and
               John Woods},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Preface},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80002-7},
  doi       = {10.1016/S1874-5857(08)80002-7},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/GabbayW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/GabbayW08a,
  author    = {Dov M. Gabbay and
               John Woods},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Preface},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80020-9},
  doi       = {10.1016/S1874-5857(08)80020-9},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/GabbayW08a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/HobartR08,
  author    = {Michael E. Hobart and
               Joan L. Richards},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {De Morgan's logic},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {283--329},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80010-6},
  doi       = {10.1016/S1874-5857(08)80010-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/HobartR08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Jacquette08,
  author    = {Dale Jacquette},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Boole's logic},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {331--379},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80011-8},
  doi       = {10.1016/S1874-5857(08)80011-8},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Jacquette08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Jessop08,
  author    = {Ralph Jessop},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The logic of sir William Hamilton: Tunnelling through sand to place
               the keystone in the aristotelic arch},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {93--162},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80007-6},
  doi       = {10.1016/S1874-5857(08)80007-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Jessop08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Klima08,
  author    = {Gyula Klima},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The nominalist semantics of Ockham and Buridan: {A} "rational reconstruction"},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {389--431},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80028-3},
  doi       = {10.1016/S1874-5857(08)80028-3},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/series/hhl/Klima08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Knuuttila08,
  author    = {Simo Knuuttila},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Medieval Modal Theories and Modal Logic},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {505--578},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80030-1},
  doi       = {10.1016/S1874-5857(08)80030-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Knuuttila08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Lagerlund08,
  author    = {Henrik Lagerlund},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The Assimilation of Aristotelian and Arabic Logic up to the Later
               Thirteenth Century},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {281--346},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80026-X},
  doi       = {10.1016/S1874-5857(08)80026-X},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/series/hhl/Lagerlund08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Lecq08,
  author    = {Ria van der Lecq},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Logic and theories of meaning in the late 13\({}^{\mbox{th}}\) and
               early 14\({}^{\mbox{th}}\) century including the modistae},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {347--388},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80027-1},
  doi       = {10.1016/S1874-5857(08)80027-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Lecq08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Mander08,
  author    = {William J. Mander},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Bradley's logic},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {663--717},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80018-0},
  doi       = {10.1016/S1874-5857(08)80018-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Mander08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Marenbon08,
  author    = {John Marenbon},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The Latin Tradition of Logic to 1100},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {1--63},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80022-2},
  doi       = {10.1016/S1874-5857(08)80022-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Marenbon08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Marenbon08a,
  author    = {John Marenbon},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Logic at the Turn of the Twelfth Century},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {65--81},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80023-4},
  doi       = {10.1016/S1874-5857(08)80023-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Marenbon08a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/McOuatV08,
  author    = {Gordon R. McOuat and
               Charissa S. Varma},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Bentham's logic},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {1--32},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80004-0},
  doi       = {10.1016/S1874-5857(08)80004-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/McOuatV08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Milnes08,
  author    = {Tim Milnes},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Coleridge's logic},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {33--74},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80005-2},
  doi       = {10.1016/S1874-5857(08)80005-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Milnes08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Moktefi08,
  author    = {Amirouche Moktefi},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Lewis Carroll's logic},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {457--505},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80013-1},
  doi       = {10.1016/S1874-5857(08)80013-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Moktefi08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/MosselmansM08,
  author    = {Bert Mosselmans and
               Ard Van Moer},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {William Stanley Jevons and the substitution of similars},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {515--531},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80015-5},
  doi       = {10.1016/S1874-5857(08)80015-5},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/MosselmansM08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Novaes08,
  author    = {Catarina Dutilh Novaes},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Logic in the 14\({}^{\mbox{th}}\) century after Ockham},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {433--504},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80029-5},
  doi       = {10.1016/S1874-5857(08)80029-5},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Novaes08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Panteki08,
  author    = {Maria Panteki},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {French 'logique' and British 'logic': On the origins of augustus de
               Morgan's early logical inquiries, 1805-1835},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {381--456},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80012-X},
  doi       = {10.1016/S1874-5857(08)80012-X},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Panteki08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Parsons08,
  author    = {Terence Parsons},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The development of supposition theory in the later 12\({}^{\mbox{th}}\)
               through 14\({}^{\mbox{th}}\) centuries},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {157--280},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80025-8},
  doi       = {10.1016/S1874-5857(08)80025-8},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Parsons08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/RahmanR08,
  author    = {Shahid Rahman and
               Juan Redmond},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Hugh Maccoll and the birth of logical pluralism},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {533--604},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80016-7},
  doi       = {10.1016/S1874-5857(08)80016-7},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/RahmanR08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Snyder08,
  author    = {Laura J. Snyder},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {"The whole box of tools": William Whewell and the logic of induction},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {163--228},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80008-8},
  doi       = {10.1016/S1874-5857(08)80008-8},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Snyder08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Sullivan08,
  author    = {David Sullivan},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The Idealists},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {605--661},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80017-9},
  doi       = {10.1016/S1874-5857(08)80017-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Sullivan08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Wahl08,
  author    = {Russell Wahl},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Port Royal: The Stirrings of Modernity},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {667--699},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80034-9},
  doi       = {10.1016/S1874-5857(08)80034-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Wahl08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Wilks08,
  author    = {Ian Wilks},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Peter Abelard and his Contemporaries},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {83--156},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80024-6},
  doi       = {10.1016/S1874-5857(08)80024-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Wilks08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Wilson08,
  author    = {Fred Wilson},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The logic of John Stuart Mill},
  booktitle = {British Logic in the Nineteenth Century},
  series    = {Handbook of the History of Logic},
  volume    = {4},
  pages     = {229--281},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80009-X},
  doi       = {10.1016/S1874-5857(08)80009-X},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Wilson08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Yrjonsuuri08,
  author    = {Mikko Yrj{\"{o}}nsuuri},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Treatments of the paradoxes of self-reference},
  booktitle = {Mediaeval and Renaissance Logic},
  series    = {Handbook of the History of Logic},
  volume    = {2},
  pages     = {579--608},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/S1874-5857(08)80031-3},
  doi       = {10.1016/S1874-5857(08)80031-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Yrjonsuuri08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/8,
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  publisher = {Elsevier},
  year      = {2007},
  isbn      = {978-0-444-51623-7},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/8.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/AntoniouW07,
  author    = {Grigoris Antoniou and
               Kewen Wang},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Default logic},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {517--555},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80011-2},
  doi       = {10.1016/S1874-5857(07)80011-2},
  timestamp = {Thu, 09 Jul 2020 09:13:37 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/AntoniouW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Bochman07,
  author    = {Alexander Bochman},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Nonmonotonic reasoning},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {557--632},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80012-4},
  doi       = {10.1016/S1874-5857(07)80012-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Bochman07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Brown07,
  author    = {Bryson Brown},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Preservationism: a short history},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {95--127},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80005-7},
  doi       = {10.1016/S1874-5857(07)80005-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Brown07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/ChiaraGR07,
  author    = {Maria Luisa Dalla Chiara and
               Roberto Giuntini and
               Mikl{\'{o}}s R{\'{e}}dei},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The history of quantum logic},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {205--283},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80007-0},
  doi       = {10.1016/S1874-5857(07)80007-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/ChiaraGR07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/DuboisEGP07,
  author    = {Didier Dubois and
               Francesc Esteva and
               Llu{\'{\i}}s Godo and
               Henri Prade},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Fuzzy-set based logics - an history-oriented presentation of their
               main developments},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {325--449},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80009-4},
  doi       = {10.1016/S1874-5857(07)80009-4},
  timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/DuboisEGP07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/GabbayW07,
  author    = {Dov M. Gabbay and
               John Woods},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Preface},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80002-1},
  doi       = {10.1016/S1874-5857(07)80002-1},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/GabbayW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Hyde07,
  author    = {Dominic Hyde},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Logics of vagueness},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {285--324},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80008-2},
  doi       = {10.1016/S1874-5857(07)80008-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Hyde07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Malinowski07,
  author    = {Grzegorz Malinowski},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Many-valued logic and its philosophy},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {13--94},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80004-5},
  doi       = {10.1016/S1874-5857(07)80004-5},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Malinowski07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Posy07,
  author    = {Carl J. Posy},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Free logics},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {633--680},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80013-6},
  doi       = {10.1016/S1874-5857(07)80013-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Posy07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Priest07,
  author    = {Graham Priest},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Paraconsistency and dialetheism},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {129--204},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80006-9},
  doi       = {10.1016/S1874-5857(07)80006-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Priest07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Schlechta07,
  author    = {Karl Schlechta},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Nonmonotonic logics: a preferential approach},
  booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
  series    = {Handbook of the History of Logic},
  volume    = {8},
  pages     = {451--516},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://doi.org/10.1016/S1874-5857(07)80010-0},
  doi       = {10.1016/S1874-5857(07)80010-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Schlechta07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/7,
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  publisher = {Elsevier},
  year      = {2006},
  isbn      = {978-0-444-51622-0},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/7.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Devlin06,
  author    = {Keith Devlin},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Situation theory and situation semantics},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  pages     = {601--664},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80034-8},
  doi       = {10.1016/S1874-5857(06)80034-8},
  timestamp = {Thu, 09 Jul 2020 09:13:37 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Devlin06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/EijckS06,
  author    = {Jan van Eijck and
               Martin Stokhof},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The gamut of dynamic logics},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  pages     = {499--600},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80033-6},
  doi       = {10.1016/S1874-5857(06)80033-6},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/EijckS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/GabbayW06,
  author    = {Dov M. Gabbay and
               John Woods},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Preface},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80025-7},
  doi       = {10.1016/S1874-5857(06)80025-7},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/GabbayW06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/GochetG06,
  author    = {Paul Gochet and
               E. Pascal Gribomont},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Epistemic logic},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  pages     = {99--195},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80028-2},
  doi       = {10.1016/S1874-5857(06)80028-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/GochetG06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Goldblatt06,
  author    = {Robert Goldblatt},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Mathematical modal logic: {A} view of its evolution},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  pages     = {1--98},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80027-0},
  doi       = {10.1016/S1874-5857(06)80027-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Goldblatt06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Krabbe06,
  author    = {Erik C. W. Krabbe},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Dialogue logic},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  pages     = {665--704},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80035-X},
  doi       = {10.1016/S1874-5857(06)80035-X},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Krabbe06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/McNamara06,
  author    = {Paul McNamara},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Deontic logic},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  pages     = {197--288},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80029-4},
  doi       = {10.1016/S1874-5857(06)80029-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/McNamara06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/OhrstromH06,
  author    = {Peter {\O}hrstr{\o}m and
               Per F. V. Hasle},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {{A.N.} Prior's logic},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  pages     = {399--446},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80031-2},
  doi       = {10.1016/S1874-5857(06)80031-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/OhrstromH06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/OhrstromH06a,
  author    = {Peter {\O}hrstr{\o}m and
               Per F. V. Hasle},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Modern temporal logic: The philosophical background},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  pages     = {447--498},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80032-4},
  doi       = {10.1016/S1874-5857(06)80032-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/OhrstromH06a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Restall06,
  author    = {Greg Restall},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Relevant and substructural logics},
  booktitle = {Logic and the Modalities in the Twentieth Century},
  series    = {Handbook of the History of Logic},
  volume    = {7},
  pages     = {289--398},
  publisher = {Elsevier},
  year      = {2006},
  url       = {https://doi.org/10.1016/S1874-5857(06)80030-0},
  doi       = {10.1016/S1874-5857(06)80030-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Restall06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/1,
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  publisher = {Elsevier},
  year      = {2004},
  isbn      = {978-0-444-50466-1},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/1.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/3,
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  publisher = {Elsevier},
  year      = {2004},
  isbn      = {978-0-444-51611-4},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/3.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Burbidge04,
  author    = {John W. Burbidge},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Hegel's logic},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {131--175},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80016-5},
  doi       = {10.1016/S1874-5857(04)80016-5},
  timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Burbidge04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/GabbayW04,
  author    = {Dov M. Gabbay and
               John Woods},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Preface},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80012-8},
  doi       = {10.1016/S1874-5857(04)80012-8},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/GabbayW04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Grattan-Guinness04,
  author    = {Ivor Grattan{-}Guinness},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The mathematical turns in logic},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {545--556},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80021-9},
  doi       = {10.1016/S1874-5857(04)80021-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Grattan-Guinness04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Hailperin04,
  author    = {Theodore Hailperin},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Algebraical logic 1685-1900},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {323--388},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80019-0},
  doi       = {10.1016/S1874-5857(04)80019-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Hailperin04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Hilpinen04,
  author    = {Risto Hilpinen},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Peirce's logic},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {611--658},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80023-2},
  doi       = {10.1016/S1874-5857(04)80023-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Hilpinen04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Lenzen04,
  author    = {Wolfgang Lenzen},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Leibniz's logic},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {1--83},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80014-1},
  doi       = {10.1016/S1874-5857(04)80014-1},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Lenzen04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Peckhaus04,
  author    = {Volker Peckhaus},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Schr{\"{o}}der's logic},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {557--609},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80022-0},
  doi       = {10.1016/S1874-5857(04)80022-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Peckhaus04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/RusnockG04,
  author    = {Paul Rusnock and
               Rolf George},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Bolzano as logician},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {177--205},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80017-7},
  doi       = {10.1016/S1874-5857(04)80017-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/RusnockG04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Sullivan04,
  author    = {Peter M. Sullivan},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Frege's logic},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {659--750},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80024-4},
  doi       = {10.1016/S1874-5857(04)80024-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Sullivan04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Tieszen04,
  author    = {Richard Tieszen},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Husserl's logic},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {207--321},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80018-9},
  doi       = {10.1016/S1874-5857(04)80018-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Tieszen04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Tiles04,
  author    = {Mary Tiles},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Kant: From general to transcendental logic},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {85--130},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80015-3},
  doi       = {10.1016/S1874-5857(04)80015-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Tiles04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Valencia04,
  author    = {Victor S{\'{a}}nchez Valencia},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The algebra of logic},
  booktitle = {The Rise of Modern Logic: From Leibniz to Frege},
  series    = {Handbook of the History of Logic},
  volume    = {3},
  pages     = {389--544},
  publisher = {Elsevier},
  year      = {2004},
  url       = {https://doi.org/10.1016/S1874-5857(04)80020-7},
  doi       = {10.1016/S1874-5857(04)80020-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Valencia04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Boger01,
  author    = {George Boger},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Aristotle's underlying logic},
  booktitle = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  pages     = {101--246},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1874-5857(04)80005-0},
  doi       = {10.1016/S1874-5857(04)80005-0},
  timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Boger01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Burnett01,
  author    = {Charles Burnett},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The translation of arabic works on logic into latin in the middle
               ages and the renaissance},
  booktitle = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  pages     = {597--606},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1874-5857(04)80010-4},
  doi       = {10.1016/S1874-5857(04)80010-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Burnett01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/GabbayW01,
  author    = {Dov M. Gabbay and
               John Woods},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Preface},
  booktitle = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1874-5857(04)80001-3},
  doi       = {10.1016/S1874-5857(04)80001-3},
  timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/GabbayW01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Ganeri01,
  author    = {Jonardon Ganeri},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Indian logic},
  booktitle = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  pages     = {309--395},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1874-5857(04)80007-4},
  doi       = {10.1016/S1874-5857(04)80007-4},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Ganeri01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Johnson01,
  author    = {Fred Johnson},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Aristotle's modal syllogisms},
  booktitle = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  pages     = {247--307},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1874-5857(04)80006-2},
  doi       = {10.1016/S1874-5857(04)80006-2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Johnson01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Moravcsik01,
  author    = {Julius Moravcsik},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Logic before Aristotle: Development or birth?},
  booktitle = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  pages     = {1--25},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1874-5857(04)80003-7},
  doi       = {10.1016/S1874-5857(04)80003-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Moravcsik01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/OTooleJ01,
  author    = {Robert R. O'Toole and
               Raymond E. Jennings},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {The megarians and the stoics},
  booktitle = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  pages     = {397--522},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1874-5857(04)80008-6},
  doi       = {10.1016/S1874-5857(04)80008-6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/OTooleJ01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Street01,
  author    = {Tony Street},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Arabic logic},
  booktitle = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  pages     = {523--596},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1874-5857(04)80009-8},
  doi       = {10.1016/S1874-5857(04)80009-8},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/Street01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/WoodsI01,
  author    = {John Hayden Woods and
               Andrew Irvine},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Aristotle's early logic},
  booktitle = {Greek, Indian and Arabic Logic},
  series    = {Handbook of the History of Logic},
  volume    = {1},
  pages     = {27--99},
  publisher = {Elsevier},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1874-5857(04)80004-9},
  doi       = {10.1016/S1874-5857(04)80004-9},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/WoodsI01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics