User:LSKDuck/sandbox
(Footnote that always the most recent issue is meant.)
This is a list of academic journals in logic. The publisher information (publisher, city, country) always refers to the latest volume. See also: List of philosophy journals.
| Name | ISSN | Publisher | City | Country | Volumes | Years | Scope | Additional Information |
|---|---|---|---|---|---|---|---|---|
| Analysis Reviews | 0003-2638 (print), 1467-8284 (online) | Oxford University Press | United Kingdom | 69– | 2009– | reviews on recent work in analytic philosophy | published within the journal Analysis | |
| Annals of Mathematical Logic | 0003-4843 | North-Holland | Amsterdam | Netherlands | 1–23 | 1970–1982 | mathematical logic | continued as Annals of Pure and Applied Logic |
| Annals of Pure and Applied Logic | 0168-0072 (print), 1873-2461 (online) | Elsevier | Netherlands | 24– | 1983– | mathematical logic, theoretical computer science | successor of Annals of Mathematical Logic | |
| Annals of the Japan Association for the Philosophy of Science | 0453-0691 (print), 1884-1228 (online) | Japan Association for Philosophy of Science | Tokyo | Japan | 1– | 1956– | philosophical and foundational problems of science | |
| Archive for Mathematical Logic | 0933-5846 (print), 1432-0665 (online) | Springer | Germany | 27– | 1988– | mathematical logic and related areas | successor of Archiv für mathematische Logik und Grundlagenforschung | |
| Archiv für mathematische Logik und Grundlagenforschung | 0003-9268 | W. Kohlhammer | Stuttgart, Berlin, Köln, Mainz | Germany | 1–26 | 1950–1987 | mathematical logic and its applications | continued as Archive for Mathematical Logic |
| Argumentation: An International Journal on Reasoning | 0920-427X (print), 1572-8374 (online) | Springer | Dordrecht | Netherlands | 27– | 1987– | approaches to reasoning, natural inference and persuasion | |
| Australasian Journal of Logic | 1448-5052 | Australasian Association for Logic, Victoria University of Wellington | New Zealand | 1– | 2003– | pure and applied logic | online, open access | |
| Bulletin of Symbolic Logic | 1079-8986 (print), 1943-5894 (online) | Cambridge University Press | United States | 1– | 1995– | mathematical, philosophical and non-classical logic, history and philosophy of logic, philosophy and methodology of mathematics. | ||
| dialectica | 0012-2017 (print), 1746-8361 (online) | European Society for Analytic Philosophy | Bern | Switzerland | 1– | 1947– | analytic philosophy | open access |
| Forschungen zur Logistik und zur Grundlegung der exakten Wissenschaften | Franz Steiner Verlag | Leipzig | Germany | 1– | 1934–1943 | |||
| History and Philosophy of Logic | 0012-2017 (print), 1746-8361 (online) | European Society for Analytic Philosophy | London | United Kingdom | 1– | 1979– | history of logic, philosophy of logic |
- Informal Logic. Reasoning and Argumentation in Theory and Practice, 1990 ff
- International Journal of Logic and Computation 2010 ff.
- International Logic Review, Bologna 1970 ff.
- Journal of Applied Non-Classical Logics, 1991 ff.
- Journal of Automated Reasoning
- Journal of Logic and Analysis, 2009 ff. (Successor of Logic and Analysis).
- Journal of Logic and Computation, Oxford 1990 ff.
- Journal of Logic, Language and Information, 1992 ff.
- Journal of Logic Programming, (Elsevir Publ.) 1984–2000. Continued by Theory and Practice of Logic Programming and The Journal of Logic and Algebraic Programming.
- Journal of Mathematical Logic, 2001 ff.
- Journal of Non-Classical Logic, 1982–1991.
- Journal of Multiple-Valued Logic and Soft Computing, 1994 ff.
- Journal of Philosophical Logic, Toronto- Dordrecht 1972 ff.
- Journal of Symbolic Logic, Providence, Rhode Island 1936 ff.
- Linguistics and Philosophy
- Logic Journal of the IGPL, Oxford 1993 ff.
- Logic and Analysis, vol. 1, 2007–2008. Continued as Journal of Logic and Analysis.
- Logic and Logical Philosophy, Toruń 1993 ff.
- Logica Universalis
- Logical Analysis and History of Philosophy / Philosophiegeschichte und Logische Analyse, Bonn 1998 ff.
- Logique et Analyse, Nouvelle Serie, Löwen-Paris 1958 ff.
- Mathematical Logic Quarterly (MLQ), Weinheim 1993 ff. (Successor of Zeitschrift für mathematische Logik und Grundlagen der Mathematik vols 1 –38, 1955–1992).
- Methodos. Rivista trimestriale de Metodologia e di Logica Simbolica, Milano 1949 ff.
- Miscellanea Logica
- Modern Logic, vols 1–7, 1990–1997.
- Multiple-Valued Logic. An International Journal, 1996 ff.
- Nordic Journal of Philosophical Logic
- Notre Dame Journal of Formal Logic, Notre Dame, Ind., USA 1960 ff.
- Philosophia Mathematica. An International Journal for Philosophy of Modern Mathematics, Hauppauge, N. Y. 1964–1980/1981. 2nd Series 1986–1991 (6 vols). 3rd Series Oxford 1993 ff.
- Prace z Logiki, Kracow 1965 ff.
- Philosophiegeschichte und logische Analyse / Logical Analysis and History of Philosophy, Paderborn 1998 ff.
- Proceedings of the Aristotelian Society, London 1900 ff.
- Quality and Quantity. European Journal of Methodology, Bologna 1967 ff.
- Rassegna Internazionale di Logica / International Logic Review, Bologna 1970 ff.
- Rechtstheorie. Zeitschrift für Logik, Methodenlehre, Kybernetik und Soziologie des Rechts, Berlin- München 1970 ff.
- Revue d’historie des mathématiques, Marseille 1995 ff.
- Scripta Mathematica. A Quarterly Journal devoted to the Philosophy, History and Expository Treatment of Mathematics, New York 1932 ff.
- Studia Logica, Warszawa 1953 ff. Since vol. 54, Studia Logica. An International Journal for Symbolic Logic, Dordrecht 1995 ff. Studia Logica, Prague 1974 and 1975 (only 2 vols). Studies in Logic and the Foundations of Mathematics, Amsterdam 1951 ff.
- Synthese. An International Journal for Epistemology, Methodology, and Philosophy of Science, Bussum 1936; Vol. 11, 1959ff. Dordrecht .
- teorema, Valencia 1971 ff.
- The Journal of Symbolic Logic, 1936 ff.
- The Review of Symbolic Logic, 2008 ff.
- Journal of Logic and Algebraic Programming, 2001 ff.
- Theoria (journal). Revista de Teoria, Historia y Fundamentos de la Ciencia, San Sebastian 1962 ff.
- Theory and Decision. An International Journal for Philosophy and Methodology of the Social Sciences, Dordrecht 1970 ff.
- Theory and Practice of Logic Programming, 2001 ff.
- Transactions on Computational Logic, ACM 2000 ff.
- Zeitschrift für allgemeine Wissenschaftstheorie, Wiesbaden 1970 ff, Journal for General Philosophy of Science / Zeitschrift für allgemeine Wissenschaftstheorie, Vol 21 ff, Dordrecht 1990 ff
- Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vols. 1 –38, Leipzig 1955–1992. Continued as Mathematical Logic Quarterly, vol. 39 ff, 1993 ff.