Logic Journals

• NEW !!! (Starting 1999)
  • JML: JournaL of Mathematical Logic
    Published by: World Scientific Publishing Co Pte Ltd
    Managing Editors: C. Chong, T. Slaman and W. Woodin
    The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.
• Sponsored by the Association of Symbolic Logic ASL
  • JSL: The Journal of Symbolic Logic
    Published by the ASL The Journal of Symbolic Logic is the major academic periodical for symbolic logic.
  • BSL: The Bulletin of Symbolic Logic
    Published by the ASL
  • APAL: Annals of Pure and Applied Logic
    Founded in 1969. Published by NORTH-HOLLAND, Elsevier Science. The Annals serves primarily but not exclusively as a vehicle for the publication of papers too long to be published promptly by other journals, but too short to form a separate book.
  • JPL: Journal of Philosophical Logic
    Published under the Auspices of the Association for Symbolic Logic by Kluwer Academic Publishers. The Journal of Philosophical Logic publishes papers that utilize formal methods or that deal with topics in logical theory.
• Other Journals
  • MLQ: Mathematical Logic Quarterly
    Published by WILEY-VCH Verlag Berlin. Formerly Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik Mathematical Logic Quarterly is the international journal for the publication of original contributions on mathematical logic and foundations of mathematics and related areas such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.
  • AML: Archive for Mathematical Logic
    Published by Springer Verlag. Formerly Archiv fuer Mathematische Logik und Grundlagen der Mathematik The journal publishes research papers and occasionally surveys or expositions on mathematical logic.
  • FM: Fundamenta Mathematicae
    Founded in 1920. Published by the POLISH ACADEMY OF SCIENCES, INSTITUTE OF MATHEMATICS. Fundamenta Mathematicae concentrates on papers devoted to Set Theory, Mathematical Logic and Foundations of Mathematics, Topology and its Interactions with Algebra, and Dynamical Systems.
  • SL: Studia Logica
    Published under the auspices of the Polish Association for Logic and Philosophy of Sciences. STUDIA LOGICA publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.)
  • IGPL: Logic Journal of the IGPL
    Published by Oxford University Press, under the auspices of the Interest Group in Pure and Applied Logics (IGPL) which is part of the The European Association for Logic, Language and Information (FoLLI). The Logic Journal of the IGPL publishes papers in all areas of pure and applied logic.
    The journal is published in both hard copy and in electronic form.
  • JoLLI: Journal of Logic, Language and Information
    Published by the European Association for Logic, Language and Information. The scope of the Journal of Logic, Language and Information (JoLLI) is the logical and computational associations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and computational parts of the cognitive sciences.
  • NDJFL: Notre Dame Journal of Formal Logic
    Published by the University of Notre Dame. The Notre Dame Journal of Formal Logic aims to provide a common ground where both philosophers and mathematicians can read and publish significant and original work in all areas of philosophical and mathematical logic, as well as the philosophy of language and the philosophy, history, and foundations of mathematics.
  • NJPL: Nordic Journal of Philosophical Logic
    NJPL is edited at the Department of Philosophy, University of Oslo. NJPL aims to develop a broad and flexible editorial policy, seeking submissions in any of the areas associated with Philosophical Logic and with the applications of logic in conceptual analysis. Both informal papers and papers of a more technical nature will be welcomed, but in the latter case preference will be given to those which make clear the relevance of the formal methods employed to the treatment of philosophical problems.
  • JLC: Journal of Logic and Computation
    Published by Oxford University Press. The Journal of Logic and Computation aims to promote the growth of logic and computing,