|
|
|
|
|
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.
|
|
|
|
|
| Title |
Author |
Publisher |
Processed |
Status |
| Axiom of Determinacy, forcing axioms, and the nonstationary ideal | W.H. Woodin | de Gruyter | Aug. 27, 09 | Under review |
| New essays on the knowability paradox | Joe Salerno (ed) | OUP | Jan. 5, 10 | Under review |
| Institution-independent Model Theory | R. Diaconescu | Birkhäuser | Jan. 15, 10 | Completed |
| Truth and Falsehood: An Inquiry into Generalized Logical Values | Y. Shramko and H. Wansing | Springer | Oct. 25, 11 | Under review |
| Proof Analysis | S. Negri and J. von Plato | Cambridge | Jan. 3, 12 | Locating reviewer |
| The Connectives | Lloyd Humberstone | MIT Press | Feb. 7, 12 | Under review |
| Concepts and Fuzzy Logic | R. Belohlavek and G. J. Klir (eds) | MIT Press | Feb. 7, 12 | Under review |
| The Interactive Stance | J. Ginzburg | Oxford | May 7, 12 | Under review |
| Gentzen Calculi for Modal Propositional Logic | F. Poggiolesi | Springer | June 12, 12 | Under review |
| Methods of Cut-Elimination | M. Baaz and A. Leitsch | Springer | June 12, 12 | Under review |
| Logical Dynamics of Information and Interaction | J. van Benthem | Cambridge | Sep. 4, 12 | Completed |
| Changes of Mind | N. Tennant | Oxford | Nov. 19, 12 | Locating reviewer |
| Logic in Games | J. van Benthem | MIT Press | Dec. 13, 12 | Locating review copy |
| Hilbert's Programs and Beyond | W. Sieg | Oxford | jan. 29, 13, KFJ | Locating review copy |
|
|
|
| Title |
Author |
Publisher |
Reviewer |
Volume |
| Deduction | Bonevac | Blackwell | Stig Alstrup Rasmussen | 77, 2004 |
| Change, Choice and Inference | Rott | OUP | S.O. Hansson | 77, 2004 |
| Relation Algebras by Games | Hirsh & Hodkinson | Elsevier | Maarten Marx | 77, 2004 |
| The Companion to Philosophical Logic | Jacquette (ed.) | Blackwell | Torsten Jepsen | 77, 2004 |
| Foundations of Logic and Mathematics | Nievergelt | Birkhäuser | W.A. Carnielli | 78, 2004 |
| Algebraic Methods in Philosophical Logic | Dunn & Hardegree | OUP | A. Urquhart | 79, 2005 |
| Meaning and Argument | Lepore | Blackwell | R.A. Girle | 79, 2005 |
| Possibilities and Paradox | Beall & Van Fraassen | OUP | Graham Priest | 79, 2005 |
| Problems in Set Theory, Mathematical Logic | Lavrov & Maksimova | Kluwer / PP | E. Mendelson | 79, 2005 |
| The Shaping of Deduction in Greek Mathematics | Netz | CUP | J. Hoeyrup | 80, 2005 |
| Many-Dimensional Modal Logic | Gabbay et al | Elsevier | Mark Reynolds | 81, 2005 |
| Bayesian Epistemology | Bovens & Hartmann | OUP | | 81, 2005 |
| Logic, Induction and Sets | Forster | CUP | Jan Wolenski | 81, 2005 |
| Towards a Philosophy of Real Mathematics | Corfield | CUP | Jim Brown | 81, 2005 |
| Types, Tableaus and Gödels God | Fitting | Kluwer | Girle | 81, 2005 |
| Mild Contraction | Levi | OUP | S.O. Hansson | 82, 2005 |
| Knowledge and Lotteries | Hawthorne | Clarendon | Cliff S. Hill | 84(1), 2006 |
| The Blackwell Guide to Philosophical Logic | L. Goble | Blackwell | D. Jehle | 84(1), 2006 |
| Incomplete Information | Demri, Orlowska | Springer | Jouni Jarvinen | 84(3), 2006 |
| The Stag Hunt | Skyrms | OUP | R. van Rooij | 85(1), 2007 |
| Paradox and Paraconsistency | Woods | CUP | Andrew Irvine | 85(2), 2007 |
| Truth and Paradox | Tim Maudlin | Oxford | Roy Cook | 85(2), 2007 |
| Relevant Logic | Mares | CUP | R. Kahle | 86(1), 2007 |
| Representation and Inference for Natural Languages | Blackburn and Bos | CSLI | Anders Soegaard, CST | 86(1), 2007 |
| Category Theory | S. Awodey | OUP | Birkedal, Lars | 86(3), 2007 |
| Computability Theory | Cooper | CRC | Lars Kristiansen | 86(3), 2007 |
| Mainstream and Formal Epistemology | V.F. Hendricks | CUP | Paul Gochet | 86(3), 2007 |
| Continuous Lattices and Domains | Gierz et al. | CUP | Ulrich Berger | 87(1), 2007 |
| Doubt truth to be a liar | Graham Priest | OUP | Bartosz Wieckowski | 87(1), 2007 |
| Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer. Volume II. | Dirk van Dalen | OUP | van Bendegem | 87(1), 2007 |
| Reasoning about Uncertainty | Halpern & van der Hoek | MIT | Igor Kozine | 87(2), 2007 |
| Mathematical Problems from Applied Logic | Dov Gabbay et al. (eds) | Springer | Anders Soegaard | 87(2), 2007 |
| The Seventeen Provers of the World | F. Wiedijk (ed) | Springer | R. Kahle | 87(2), 2007 |
| Universal Logic | Ross Brady | CSLI | Mark Jago | 87(2), 2007 |
| Game Theory | V.F. Hendricks, P.G. Hansen (eds) | Automatic Press | Jeffrey Helzner | 89(1), 2008 |
| What is Category Theory | G. Sica | Polimetrica | John Symons | 89(2), 2008 |
| Bridges Between Classical and Nonmonotonic Logic | Makinson | KCP | Choh Man Teng | 89(3), 2008 |
| Dynamic Epistemic Logic | H. van Ditmarsch, W. van der Hoek, B. Kooi | Springer | Andreas Herzig | 89(3), 2008 |
| Self-reference | Bolander et al. (eds) | CSLI | Roy Cook | 91(1), 2009 |
| The Philosphy of Mathematical Practice | P. Mancosu | Oxford | Jessica Carter | 92(1), 2009 |
| Elements of Argumentation | P. Besnard and A. Hunter | MIT Press | Jenny Eriksson Lundstrom | 93(1), 2009 |
| Saving Truth from Paradox | Hartry Field | Oxford | David Ripley | 94(1), 2010 |
| Temporal Logic and State Systems | F. Kröger and S. Merz | Springer | Valentin Goranko | 94(3), 2010 |
| Completeness Theory for Propositional Logics | W.A. Pogorzelski & P. Wojtylak | Birkhäuser | Tomasz Polacik | 95(3), 2010 |
| Quantification in Nonclassical Logic | D.M. Gabbay, D. Skvortsov and V. Shehtman | Elsevier | Silvio Ghilardo | 95(3), 2010 |
| Handbook of Modal Logic (vol 3) | Blackburn et al. (eds) | Elsevier | Martin M. Bentzen | 96(1), 2010 |
| Hypercomputation: Computing Beyond the Church-Turing Barrier | A. Syropoulos | Springer | Philip Welch | 96(3), 2010 |
| Human Reasoning and Cognitive Science | K. Stenning and M. van Lambalgen | MIT Press | Anders Sogaard | 97(2), 2011 |
| New Computational Paradigms | S.B. Cooper, B. Loewe & A. Sorbi | Springer | Lars Kristiansen | 97(2), 2011 |
| Generalized Galois Logics | K. Bimbo and J. Michael Dunn | CSLI | Eva Orlowska | 97(3), 2011 |
| One Hundred Years of Intuitionism | M. van Atten et al. (eds) | Birkhäuser | Jan Paul van Bendegem | 97(3), 2011 |
| Analysis and Synthesis of Logics -- How to Cut and Paste Reasoning Systems | W. Carnielli et al. | Springer | F. Wolter | 100(3), 2012 |
| Constructive Negations and Paraconsistency | S.P. Odintsov | Springer | Jean-Yves Beziau | 100(3), 2012 |
| The Structure of Models of Peano Arithmetic | Kossak and Schmerl | Oxford | Asher Kach | 100(3), 2012 |
| Foundational Theories of Classical and Constructive Mathematics | Sommaruga (ed.) | Ontario Series | J. Cole | 100(5), 2012 |
| Hybrid Logic and its Proof Theory | Torben Brauner | Springer | Melvin Fitting | 100(5), 2012 |
| Modal Logic for Open Minds | Johan van Benthem | CSLI Pubs. | Hans van Ditmarsch | 100(5), 2012 |
| Dual Tableaux: Foundations, Methodology, Case Studies | Orlowska and Golinska-Pilarek | Springer | Walter Carnielli | 101(1), 2013 |
| Natural Deduction, Hybrid Systems and Modal Logics | Andrzej Indrzejczak | Springer | Rajeev Gore | 101(1), 2013 |
| Axiomatic Theories of Truth | V. Halbach | Cambridge | John Burgess | 101(3), 2013 |
| The Tarskian Turn | Leon Horsten | MIT | Vann McGee | 101(3), 2013 |
| Combinatory Logic -- Pure, Applied and Typed | K. Bimbo | CRC Press | Morten Heine Sørensen | 101(5), 2013 |
| Grammar, Geometry, and Brain | Jens Erik Fenstad | CSLI | Erich Rast | 101(5), 2013 |
| Inconsistent Geometry | Chris Mortensen | College Pub. | Vagn Lundsgaard Hansen | 101(5), 2013 |
|
