AN INTERNATIONAL JOURNAL 
FOR SYMBOLIC LOGIC

REVIEWS SECTION

 

 

 

 
 

 

Reviews Editors
Thomas Bolander
Klaus Frovin Jørgensen

 

 
   

 

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.

Procedure
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

Contact the reviews editors at the following address:

Studia Logica Reviews Editors
Department of Philosophy and Science Studies
Roskilde University, PA6
P. O. Box 260, DK-4000 Roskilde
Denmark
Fax: (+45) 4674 3012
Email: tb@imm.dtu.dk, frovin@ruc.dk

   
         

Titles currently under review

Title Author Publisher Processed Status
The ConnectivesLloyd HumberstoneMIT PressFeb. 7, 12Under review
The Interactive StanceJ. GinzburgOxfordMay 7, 12Under review
Gentzen Calculi for Modal Propositional LogicF. PoggiolesiSpringerJune 12, 12Under review
Methods of Cut-EliminationM. Baaz and A. LeitschSpringerJune 12, 12Under review
Logic in GamesJ. van BenthemMIT PressDec. 13, 12Locating reviewer
The Functional Interpretation of Logical DeductionRuy JGB de Queiroz, Anjolina G de Oliveira and Dov M GabbayWorld ScientificMay 29, 13Completed
Modal Logic as MetaphysicsTimothy WilliamsonOUPAugust 13, 13Under review
Plural LogicAlex Oliver and Timothy SmileyOUPAugust 13, 13Under review
David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917-1933Michael Hallett et. al (eds.)SpringerJune 15, 13Locating reviewer
The Construction of Logical SpaceAgustin RayoOUPAugust 13, 13Locating reviewer
Basic Laws of ArithmeticG. FregeOUPJanuary 13, 14Locating reviwer
Lambda Calculus with TypesBarendregt, Dekkers and StatmanCambridgeMarch 10, 14Under review
         

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 Pressxxx 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
           
 
 

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.