- Annals of Pure and Applied Logic - (Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers.
- Archive for Mathematical Logic - Publishes research papers and occasionally surveys or expositions on mathematical logic. Tables of contents from vol.34 (1995) on. Full text to subscribers.
- Bulletin of Symbolic Logic - All articles in postscript format.
- Fundamenta Mathematicae - (Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945).
- History and Philosophy of Logic - Publisher's site.
- Israel Journal of Mathematics - Publisher's site.
- Journal of Automated Reasoning - Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers.
- Journal of Functional and Logic Programming - Electronic journal.
- Journal of Logic and Computation - Publisher's site. Unrestricted access only for subscribers.
- Journal of Logic, Language and Information - Explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences. Free tables of contents and abstracts. Full text to subscribers.
- Journal of Mathematical Logic - World Scientific. Contents and abstracts of all issues; full text to institutional subscribers.
- Journal of Philosophical Logic - Journal devoted to philosophical applications of logic, and the philosophical underpinnings of logic. Sample copy and an archive of tables of contents.
- Journal of Symbolic Logic - Official organ of the Association of Symbolic Logic.
- Logic Journal of the IGPL - (OUP) Official publication of the Interest Group in Pure and Applied Logic.
- Mathematical Logic Quarterly - Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers.
- Notre Dame Journal of Formal Logic - Publisher's site, access restricted.
- Reports on Mathematical Logic - Official website.
- Transactions on Computational Logic - Devoted to research concerned with all uses of logic in computer science.
