| |
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
| Title |
Author |
Publisher |
Processed |
Status |
| Absolute Generality | A. Rayo and G. Uzquiano (eds) | OUP | Dec. 1, 09 | Under review |
| Modalities and Multimodalities | W.A. Carnielli and C. Pizzi | Springer | Dec. 18, 08 | Under review |
| Proof Theory: The first step into impredicativity | W. Pohlers | Springer | Dec. 23, 08 | Under review |
| Axiom of Determinacy, forcing axioms, and the nonstationary ideal | W.H. Woodin | de Gruyter | Aug. 27, 09 | Locating reviewer |
| 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 | Under review |
| Modal Logic for Open Minds | Johan van Benthem | CSLI Pubs. | Feb. 12, 11 | Completed |
| Grammar, Geometry, and Brain | Jens Erik Fenstad | CSLI | Feb. 2, 11 | Under review |
| Hybrid Logic and its Proof Theory | Torben Brauner | Springer | Feb. 2, 11 | Completed |
| Natural Deduction, Hybrid Systems and Modal Logics | Andrzej Indrzejczak | Springer | Feb. 2, 11 | Completed |
| Universal Algebraic Logic | Andreka, Nemeti and Sain | Springer | Feb. 2, 11 | Locating review copy |
| Dual Tableaux: Foundations, Methodology, Case Studies | Orlowska and Golinska-Pilarek | Springer | April 5, 11 | Under review |
| The Tarskian Turn | Leon Horsten | MIT | Sept. 8, 11 | Under review |
| Truth and Falsehood: An Inquiry into Generalized Logical Values | Y. Shramko and H. Wansing | Springer | Oct. 25, 11 | Under review |
| Combinatory Logic -- Pure, Applied and Typed | K. Bimbo | CRC Press | Jan. 3, 12 | Under review |
| Axiomatic Theories of Truth | V. Halbach | Cambridge | Jan. 3, 12 | Under review |
| Proof Analysis | S. Negri and J. von Plato | Cambridge | Jan. 3, 12 | Locating reviewer |
| Inconsistent Geometry | Chris Mortensen | College Pub. | Feb. 7, 12 | Under review |
| 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 | Locating reviewer |
| The Interactive Stance | J. Ginzburg | Oxford | May 7, 12 | Locating reviewer |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 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 |
| Foundational Theories of Classical and Constructive Mathematics | Sommaruga (ed.) | Ontario Series | J. Cole | 100(5), 2012 |
| The Structure of Models of Peano Arithmetic | Kossak and Schmerl | Oxford | Asher Kach | 100(5), 2012 |
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
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.
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|