{{Short description, none This is a list of academic journals in

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...

. *'' Annals of Mathematical Logic'', Vols 1–23, 1970–1982. *'' Annals of Pure and Applied Logic'', 1983 ff. (Successor of the '' Annals of Mathematical Logic''). *'' Annals of the Japan Association for the Philosophy of Science'', Tokyo 1956/1957 ff. *''

Analysis Analysis ( : analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (3 ...

'', Oxford 1933/34 ff. *'' Archiv für mathematische Logik und Grundlagenforschung'', vols 1–26, Stuttgart-Berlin-Köln 1950–1987. *'' Archive for Mathematical Logic'', Berlin-Heidelberg 1988 ff. vol. 27 ff. (Successor of the former). *'' Argumentation''. An International Journal on Reasoning, Dordrecht 1987ff. *'' Australasian Journal of Logic'', Melbourne 2003 ff. Electronic Edition. *'' Bulletin of the Section of Logic'' *''

Dialectica ''Dialectica'' is a quarterly philosophy journal published by Blackwell between 2004 and 2019. As of 2020, Dialectica is published in full open access. The journal was founded in 1947 by Gaston Bachelard, Paul Bernays and Ferdinand Gonseth. ...

''. International Review of Philosophy of Knowledge/Revue Internationale de Philosophie de la Connaissance/Internationale Zeitschrift für Philosophie der Erkenntnis, Neuchâtel-Paris 1947 ff., Vols. 20 ff. Lausanne. *'' Forschungen zur Logistik und zur Grundlegung der exakten Wissenschaften'', Leipzig 1934–1943, Repr. in 1 vol. Hildesheim 1970. *''

History and Philosophy of Logic History (derived ) is the systematic study and the documentation of the human activity. The time period of event before the invention of writing systems is considered prehistory. "History" is an umbrella term comprising past events as well ...

'', London 1979 ff. *'' 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 The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is ...

'', 2009 ff. (Successor of ''

Logic and Analysis Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

''). *'' Journal of Logic and Computation'', Oxford 1990 ff. *''

Journal of Logic, Language and Information The ''Journal of Logic, Language and Information'' is a quarterly peer-reviewed academic journal covering research on "natural, formal, and programming languages". It is the official journal of the European Association for Logic, Language and Infor ...

'', 1992 ff. *''

Journal of Logic Programming The ''Journal of Logical and Algebraic Methods in Programming'' is a peer-reviewed scientific journal established in 1984. It was originally titled ''The Journal of Logic Programming''; in 2001 it was renamed ''The Journal of Logic and Algebraic ...

'', (Elsevir Publ.) 1984–2000. Continued by '' Theory and Practice of Logic Programming'' and '' The Journal of Logic and Algebraic Programming''. *''

Journal of Mathematical Logic The ''Journal of Mathematical Logic'' was established in 2001 and is published by World Scientific. It covers the field of mathematical logic and its applications. Abstracting and indexing The journal is abstracted and indexed in: * Current Math ...

'', 2001 ff. *'' Journal of Non-Classical Logic'', 1982–1991. *'' Journal of Multiple-Valued Logic and Soft Computing'', 1994 ff. *''

Journal of Philosophical Logic The ''Journal of Philosophical Logic'' is a bimonthly peer-reviewed academic journal covering all aspects of logic. It was established in 1972 and is published by Springer Science+Business Media. The editors-in-chief are Rosalie Iemhoff (Utrecht ...

'', Toronto- Dordrecht 1972 ff. *''

Journal of Symbolic Logic The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by ''Mathematical Reviews'', Zentralb ...

'', Providence, Rhode Island 1936 ff. *''

Linguistics and Philosophy ''Linguistics and Philosophy'' is a peer-reviewed journal addressing "structure and meaning in natural language". This journal, along with '' Studies in Language'', is a continuation of the journal ''Foundations of Language'' (1965 to 1976). The ...

'' *''

Logic Journal of the IGPL Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...

'', Oxford 1993 ff. *''

'', vol. 1, 2007–2008. Continued as ''

''. *'' Logic and Logical Philosophy'', Toruń 1993 ff. *''

Logica Universalis ''Logica Universalis'' is a peer-reviewed academic journal which covers research related to universal logic Originally the expression ''Universal logic'' was coined by analogy with the expression ''Universal algebra''. The first idea was to dev ...

'' *'' 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 ''Philosophia Mathematica'' is a philosophical journal devoted to the philosophy of mathematics, published by Oxford University Press Oxford University Press (OUP) is the university press of the University of Oxford. It is the largest univers ...

''. 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 The Aristotelian Society for the Systematic Study of Philosophy, more generally known as the Aristotelian Society, is a philosophical society in London. History Aristotelian Society was founded at a meeting on 19 April 1880, at 17 Bloomsbury Squa ...

'', 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 ''Scripta Mathematica'' was a quarterly journal published by Yeshiva University devoted to the philosophy, history, and expository treatment of mathematics. It was said to be, at its time, "the only mathematical magazine in the world edited by spe ...

''. A Quarterly Journal devoted to the Philosophy, History and Expository Treatment of Mathematics, New York 1932 ff. *''

Studia Logica ''Studia Logica'' (full name: Studia Logica, An International Journal for Symbolic Logic), is a scienific journal publishing papers employing formal tools from Mathematics and Logic. The scope of papers published in Studia Logica covers all scient ...

'', 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 ''Synthese'' () is a scholarly periodical specializing in papers in epistemology, methodology, and philosophy of science, and related issues. Its subject area is divided into four specialties, with a focus on the first three: (1) "epistemology, me ...

''. An International Journal for Epistemology, Methodology, and Philosophy of Science, Bussum 1936; Vol. 11, 1959ff. Dordrecht . *''

teorema ''Teorema'', also known as ''Theorem'' ( UK), is a 1968 Italian allegorical film written and directed by Pier Paolo Pasolini and starring Terence Stamp, Laura Betti, Silvana Mangano, Massimo Girotti and Anne Wiazemsky. Pasolini's sixth film, it ...

'', Valencia 1971 ff. *'' The Bulletin of Symbolic Logic'', 1995 ff. *''

The Journal of Symbolic Logic ''The'' () is a grammatical article in English, denoting persons or things already mentioned, under discussion, implied or otherwise presumed familiar to listeners, readers, or speakers. It is the definite article in English. ''The'' is the m ...

'', 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 Theory and Decision is a peer-reviewed multidisciplinary journal of decision science published quarterly by Springer Science+Business Media. It was first published in 1970. The current editor-in-chief is Mohammed Abdellaoui. The journal publishe ...

''. 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.

See also