Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 = {Sat, 09 Apr 2022 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 = {Wed, 23 Feb 2022 00:00:00 +0100},
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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 = {Thu, 14 Oct 2021 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 = {Sat, 09 Apr 2022 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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 = {Wed, 27 Jul 2022 01:00:00 +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 = {Thu, 14 Oct 2021 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 = {Sun, 02 Oct 2022 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 = {Sat, 30 Sep 2023 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, 07 Dec 2022 00:00:00 +0100},
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, 07 Dec 2022 00:00:00 +0100},
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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 15:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
