ADVERTISEMENT
Go to journal home page - Annals of Pure and Applied Logic

Annals of Pure and Applied Logic

Supports open access
 • 
Open archive
Submit your articleGuide for authors
Latest issue
Volume 173, Issue 6
In progress
June 2022

About the journal

Scope of the Journal
The journal Annals of Pure and Applied Logic publishes high quality papers in all areas of mathematical logic as well as applications of logic in mathematics, in theoretical computer science and in other related disciplines. All submissions to the journal should be …

Read more

Coordinating Editors

View full Editorial Board

Ulrich Kohlenbach

TU Darmstadt Department of Mathematics, Germany

Thomas Scanlon

University of California Berkeley Department of Mathematics, United States of America

Philip Scott

University of Ottawa Department of Mathematics and Statistics, Canada

Articles

Research articleOpen access

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Miika Hannula, Jonni Virtema
In Press, Corrected Proof, Available online 4 March 2022
Download PDF
Research articleAbstract only

First-order rigidity of rings satisfying polynomial identities

Be'eri Greenfeld
In Press, Journal Pre-proof, Available online 4 March 2022
Purchase PDF
Research articleOpen access

On elementary logics for quantitative dependencies

Miika Hannula, ... Juha Kontinen
In Press, Corrected Proof, Available online 15 February 2022
Download PDF
Research articleAbstract only

Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence

Rafael Albert, Erich Grädel
In Press, Corrected Proof, Available online 11 January 2022
Purchase PDF
Research articleAbstract only

Separation logic and logics with team semantics

Darion Haase, ... Richard Wilke
In Press, Corrected Proof, Available online 19 November 2021
Purchase PDF
More articles in press

More from Annals of Pure and Applied Logic

View all announcements

Article collections

50 Years of Set theory in Toronto

Edited by Franklin D. Tall, William Weiss, Juris Steprans, Stevo Todorcevic, Ilijas Farah, Paul J. Szeptycki, Thomas Scanlon
May 2021

The 23rd Workshop on Logic, Language, Information and Computation

Edited by Jouko Väänänen, Ruy de Queiroz
September 2019

Logic Colloquium 2015

Edited by Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl
December 2018

Eighth Games for Logic and Programming Languages Workshop (GaLoP)

Edited by Martin Hyland, Guy McCusker, Nikos Tzevelekos
February 2017
View all article collections
View all issues
0168-0072
ISSN

Copyright © 2022 Elsevier B.V. All rights reserved

For Authors
Track your accepted paperJournal FinderResearcher AcademyRights and permissionsJournal Article Publishing Support Center
For Editors
Publishing Ethics Resource KitGuest Editors
For Reviewers
Reviewer recognition