Book Reviews Editors
Thomas Bolander
Nina Gierasimczuk




Book Reviews Section
Studia Logica publishes reviews of books and other material within the aim and scope of the journal. 

Studia Logica encourages authors and publishers to send, for review, copies of books and other published material to the reviews editors at the address stated in the contact section below.


This site includes information for authors, publishers and reviewers as to the reviews procedure, how to contact the reviews section, titles currently under review, titles intended to be reviewed and titles already reviewed.

Authors or publishers should send the material intended for review to the reviews section. The reviews section will then find a suitable reviewer(s).

The review should be completed within about 6 months after receipt of the material, and to compensate reviewers for their efforts the reviewers get to keep the reviewed material. Each review should vary between 4 to 6 pages in length and provide the reader with some insights into the contents of the book, the intended audience, and the reviewer's opinion of the book.

Once the review is published the reviews section will forward the review to the authors or publishers.


Contact the reviews editors at the following address:

Studia Logica Reviews Editors
Att. Thomas Bolander
Department of Applied Mathematics and Computer Science
Technical University of Denmark (DTU)
Richard Petersens Plads, building 324
DK-2800 Lyngby, Denmark


Titles currently under review

Title Author Publisher Processed Status
Treatise on ConsequenceJohn BuridanFordham University PressJune 15, 15Completed
Logic in GamesJ. van BenthemMIT PressDec. 13, 12Under review
Modal Logic as MetaphysicsTimothy WilliamsonOUPAug. 13, 13Completed
David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917-1933Michael Hallett et. al (eds.)SpringerJune 15, 13Completed
Basic Laws of ArithmeticG. FregeOUPJan. 13, 14Completed
Adaptive Logics for Defeasible ReasoningChristian StrasserSpringerSep. 19, 14Under review
Kripke's WorldA. Herzig et al.Birkhauser Nov. 12, 14Under review
Leo Esakia on Duality in Modal and Intuitionistic LogicsG. Bezhanishvili (ed.)SpringerSep. 24, 14Under review
How to bake PiEugenia ChengBasic BooksJune 15, 15Under review
Set Theory: Exploring Independence and TruthRalf Schindler SpringerDec. 11, 14Under review
Type Theory and Formal ProofR. Nederpelt and H. GeuversCUPMay 18, 15Under review
Proof Theory of N4-Paraconsistent LogicsN. Kamide and H. WansingCollege PublicationsMay 18, 15Completed
Reactive Kripke SemanticsDov M. GabbaySpringerMay 18, 15Completed
Logic and Discrete MathematicsConradie and GorankoWileyAug. 14, 15Completed
Unity and Plurality. Logic, Philosophy, and LinguisticsMoltmann and Arapinis and CarraraOUPMay 24, 17Under review
Saved from the Cellar, Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of MathematicsJan von PlatoSpringerMay 24, 17Under review
Advances in Proof Theory Kahle et al.BirkhauserAug 16, 16Locating reviewer
The Concept of Relevance and the Logic Diagram TraditionJan DejnozkaJan Dejnozka Publ.Aug 1, 2017Under review
Turing's Revolution. The Impact of His Ideas about Computability Sommaruga and StrahmBirkhauserAug 16, 16Locating reviewer
A Friendly Introduction to Mathematical Logic. 2nd edition C. Leary and L. Kristiansen BirkhauserAug 16, 16Under review
Towards Non-being, 2nd editionGraham PriestOUPAug 1, 17Locating reviewer
Temporal Logics in Computer ScienceS. Demri, V. Goranko, M. LangeCambridgeOct 10, 16Under review
Objects and ModalitiesTero TulenheimoSpringerMay 24, 17Locating reviewer
Modality in ArgumentationAndrea RocciSpringerMay 24, 17Locating reviewer
Logical Modalities from Aristotle to Carnap Max Cresswell, Edwin Mares, Adriane RiniCambridgeMay 24, 17Under review
Gödel's DisjunctionLeon Horsten and Philip Welch (eds)OUPMay 24, 17Locating reviewer
The Rule-Following Paradox and its Implications for MetaphysicsJody AzzouniSpringerJun 3, 17Under review
Logical Studies of Paraconsistent Reasoning in Science and MathematicsAndreas, Holger, Verdée, Peter (eds.)SpringerAug 1, 17Under review
The Stability of BeliefHannes LeitgebOUPAug 1, 17Locating reviewer
J. Michael Dunn on Information Based LogicsKatalin Bimbo (ed.)SpringerAug 1, 17Locating reviewer
Abstract Algebraic LogicJosep Maria FontAbstract Algebraic LogicAug 16, 17Locating reviewer
Lectures on Infinitary Model TheoryDavid MarkerASLAug 1, 17Locating reviewer
A Beginner's Further Guide to Mathematical LogicRaymond SmullyanWorld ScientificAug 16, 17Locating reviewer

Previously published reviews

Title Author Publisher Reviewer Volume
DeductionBonevacBlackwellStig Alstrup Rasmussen 77, 2004
Change, Choice and Inference RottOUPS.O. Hansson 77, 2004
Relation Algebras by GamesHirsh & HodkinsonElsevierMaarten Marx 77, 2004
The Companion to Philosophical Logic Jacquette (ed.)BlackwellTorsten Jepsen 77, 2004
Foundations of Logic and MathematicsNievergeltBirkhäuserW.A. Carnielli 78, 2004
Algebraic Methods in Philosophical LogicDunn & HardegreeOUPA. Urquhart 79, 2005
Meaning and ArgumentLeporeBlackwellR.A. Girle 79, 2005
Possibilities and ParadoxBeall & Van FraassenOUPGraham Priest 79, 2005
Problems in Set Theory, Mathematical LogicLavrov & MaksimovaKluwer / PPE. Mendelson 79, 2005
The Shaping of Deduction in Greek MathematicsNetzCUPJ. Hoeyrup 80, 2005
Many-Dimensional Modal LogicGabbay et alElsevierMark Reynolds 81, 2005
Bayesian EpistemologyBovens & HartmannOUP 81, 2005
Logic, Induction and SetsForsterCUPJan Wolenski 81, 2005
Towards a Philosophy of Real MathematicsCorfieldCUPJim Brown 81, 2005
Types, Tableaus and Gödels GodFittingKluwerGirle 81, 2005
Mild ContractionLeviOUPS.O. Hansson 82, 2005
Knowledge and LotteriesHawthorneClarendonCliff S. Hill 84(1), 2006
The Blackwell Guide to Philosophical LogicL. GobleBlackwellD. Jehle 84(1), 2006
Incomplete InformationDemri, OrlowskaSpringerJouni Jarvinen 84(3), 2006
The Stag HuntSkyrmsOUPR. van Rooij 85(1), 2007
Paradox and ParaconsistencyWoodsCUPAndrew Irvine 85(2), 2007
Truth and ParadoxTim MaudlinOxfordRoy Cook 85(2), 2007
Relevant LogicMaresCUPR. Kahle 86(1), 2007
Representation and Inference for Natural LanguagesBlackburn and BosCSLIAnders Soegaard, CST 86(1), 2007
Category TheoryS. AwodeyOUPBirkedal, Lars 86(3), 2007
Computability TheoryCooperCRCLars Kristiansen 86(3), 2007
Mainstream and Formal EpistemologyV.F. HendricksCUPPaul Gochet 86(3), 2007
Continuous Lattices and DomainsGierz et al.CUPUlrich Berger 87(1), 2007
Doubt truth to be a liarGraham PriestOUPBartosz Wieckowski 87(1), 2007
Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer. Volume II.Dirk van DalenOUPvan Bendegem 87(1), 2007
Reasoning about UncertaintyHalpern & van der HoekMITIgor Kozine 87(2), 2007
Mathematical Problems from Applied LogicDov Gabbay et al. (eds)SpringerAnders Soegaard 87(2), 2007
The Seventeen Provers of the WorldF. Wiedijk (ed)SpringerR. Kahle 87(2), 2007
Universal LogicRoss BradyCSLI Mark Jago 87(2), 2007
Game TheoryV.F. Hendricks, P.G. Hansen (eds)Automatic PressJeffrey Helzner 89(1), 2008
What is Category TheoryG. SicaPolimetricaJohn Symons 89(2), 2008
Bridges Between Classical and Nonmonotonic LogicMakinsonKCPChoh Man Teng 89(3), 2008
Dynamic Epistemic LogicH. van Ditmarsch, W. van der Hoek, B. KooiSpringerAndreas Herzig 89(3), 2008
Self-referenceBolander et al. (eds)CSLIRoy Cook 91(1), 2009
The Philosphy of Mathematical PracticeP. MancosuOxfordJessica Carter 92(1), 2009
Elements of ArgumentationP. Besnard and A. HunterMIT PressJenny Eriksson Lundstrom 93(1), 2009
Saving Truth from ParadoxHartry FieldOxfordDavid Ripley 94(1), 2010
Temporal Logic and State SystemsF. Kröger and S. MerzSpringerValentin Goranko 94(3), 2010
Completeness Theory for Propositional LogicsW.A. Pogorzelski & P. WojtylakBirkhäuserTomasz Polacik 95(3), 2010
Quantification in Nonclassical Logic D.M. Gabbay, D. Skvortsov and V. ShehtmanElsevierSilvio Ghilardo 95(3), 2010
Handbook of Modal Logic (vol 3)Blackburn et al. (eds)ElsevierMartin M. Bentzen 96(1), 2010
Hypercomputation: Computing Beyond the Church-Turing BarrierA. SyropoulosSpringerPhilip Welch 96(3), 2010
Human Reasoning and Cognitive ScienceK. Stenning and M. van LambalgenMIT PressAnders Sogaard 97(2), 2011
New Computational ParadigmsS.B. Cooper, B. Loewe & A. SorbiSpringerLars Kristiansen 97(2), 2011
Generalized Galois LogicsK. Bimbo and J. Michael DunnCSLIEva Orlowska 97(3), 2011
One Hundred Years of IntuitionismM. van Atten et al. (eds)BirkhäuserJan Paul van Bendegem 97(3), 2011
Analysis and Synthesis of Logics -- How to Cut and Paste Reasoning SystemsW. Carnielli et al.SpringerF. Wolter 100(3), 2012
Constructive Negations and ParaconsistencyS.P. OdintsovSpringerJean-Yves Beziau 100(3), 2012
The Structure of Models of Peano ArithmeticKossak and SchmerlOxfordAsher Kach 100(3), 2012
Foundational Theories of Classical and Constructive MathematicsSommaruga (ed.)Ontario SeriesJ. Cole 100(5), 2012
Hybrid Logic and its Proof TheoryTorben BraunerSpringerMelvin Fitting 100(5), 2012
Modal Logic for Open MindsJohan van BenthemCSLI Pubs.Hans van Ditmarsch 100(5), 2012
Dual Tableaux: Foundations, Methodology, Case StudiesOrlowska and Golinska-PilarekSpringerWalter Carnielli 101(1), 2013
Natural Deduction, Hybrid Systems and Modal LogicsAndrzej IndrzejczakSpringerRajeev Gore 101(1), 2013
Axiomatic Theories of TruthV. HalbachCambridgeJohn Burgess 101(3), 2013
The Tarskian TurnLeon HorstenMITVann McGee 101(3), 2013
Combinatory Logic -- Pure, Applied and TypedK. BimboCRC PressMorten Heine Sørensen 101(5), 2013
Grammar, Geometry, and BrainJens Erik FenstadCSLIErich Rast 101(5), 2013
Inconsistent GeometryChris MortensenCollege Pub.Vagn Lundsgaard Hansen 101(5), 2013
ParadoxesPiotr LukowskiSpringerRafal Urbaniak 101(5), 2013
Institution-independent Model TheoryR. DiaconescuBirkhäuserAndrzej Tarlecki 102(1), 2014
Logical Dynamics of Information and InteractionJ. van BenthemCambridge Yanjing Wang 102(3), 2014
Replacing TruthKevin ScharpOUPJohn P. Burgess 102(3), 2014
Concepts and Fuzzy LogicR. Belohlavek and G. J. Klir (eds)MIT PressIgor Douven 102(5), 2014
Russell's Logical AtomismD. BostockOxfordJuan J. Colomina 102(5), 2014
Truth and Falsehood: An Inquiry into Generalized Logical ValuesY. Shramko and H. WansingSpringerJean-Yves Beziau 102(5), 2014
Changes of MindN. TennantOxfordNina Gierasimczuk 103(1), 2015
Logic: The Laws of TruthN. J. J. SmithPrincetonDavid Makinson 103(1), 2015
Methods of Cut-EliminationM. Baaz and A. LeitschSpringerSam Buss 103(3), 2015
The Functional Interpretation of Logical DeductionRuy JGB de Queiroz, Anjolina G de Oliveira and Dov M GabbayWorld ScientificAdrian Rezus 103(3), 2015
The Interactive StanceJ. GinzburgOxfordLuciana Benotti 103(4), 2015
Plural LogicAlex Oliver and Timothy SmileyOUPCasper Storm Hansen and Thomas Brouwer 103(5), 2015
Lambda Calculus with TypesBarendregt, Dekkers and StatmanCambridgeAdrian Rezus 103(6), 2015
A Mathematical Prelude to the Philosophy of MathematicsStephen PollardSpringerJohn Stillwell 104(1), 2016
Modal Logic for PhilosophersJames W. GarsonCambridgeLloyd Humberstone 104(2), 2016
Slicing the TruthDenis R. HirschfeldtSpringerBenedict Eastaugh 105(4), 2017
Quantifiers and Cognition: Logical and Computational PerspectivesSzymanikSpringerGiosue Baggio 105(5), 2017
Elements of Logical reasoningJan von PlatoCambridgeRoger Antonsen og Andreas Nakkerud 105(6), 2017

Studia Logica - An International Journal for Symbolic Logic covers contemporary formal logic and its applications and relations to other disciplines. These include artificial intelligence, informatics, cognitive science, philosophy of science, and the philosophy of language. However this list is not exhaustive, moreover, the range of applications, comparisons and sources of inspiration is open and evolves over time.

Studia Logica is published by Springer Verlag.