CrushSCI.com
Journal Selection & Manuscript Polishing Services
ANNALS OF PURE AND APPLIED LOGIC journal cover Mathematics
Back to journal directory

Review Cycle Records

ANNALS OF PURE AND APPLIED LOGIC

Elsevier SCIE Non-OA
2026 Emerging Zone 32025 CAS Zone 22025 JCR Q2
537.6Average days
358Median days
152Fastest days
1,364Longest days
892025 publications

Paper Review Records

All Paper Review Records

10 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.

1,364 days

Proof complexity of CSP

AuthorsAzza Gaysin

AffiliationsDepartment of Algebra, Faculty of Mathematics and Physics, Charles University, Prague, Czechia

Source PDF DOI Publisher page
313 days

The total set-recursive functions of KPl and related systems

AuthorsJuan Pablo Aguilera; Anton Fernández Dejean; Joost J. Joosten

AffiliationsTU Wien, Institute of Discrete Mathematics and Geometry, Austria; University of Barcelona, Department of Philosophy, Spain

Source PDF DOI Publisher page
312 days

On the local modal product logic: standard completeness and decidability

AuthorsAmanda Vidal

AffiliationsInstitute of Computer Science of the Czech Academy of Sciences, Pod Vodárenskou věží 271/2, 182 00 Praha 8, Czech Republic

Source PDF DOI Publisher page
799 days

Model theoretic events

AuthorsKyle Gannon; James E. Hanson

AffiliationsBeijing International Center for Mathematical Research (BICMR), Peking University, Beijing, China; Iowa State University, Ames, IA, USA

Source PDF DOI Publisher page
788 days

On the model theory of second-order objects

AuthorsTapani Hyttinen; Joni Puljujärvi; Davide Emilio Quadrellaro

AffiliationsDepartment of Mathematics and Statistics, University of Helsinki, P.O. Box 68 (Pietari Kalmin katu 5), 00014 Helsinki, Finland; Department of Computer Science, University College London, 66–72 Gower Street, London WC1E 6EA, United Kingdom; Department of Mathematics “Giuseppe Peano”, University of Torino, Via Carlo Alberto 10, 10123 Torino, Italy; Istituto Nazionale di Alta Matematica “Francesco Severi”, Piazzale Aldo Moro 5, 00185 Roma, Italy

Source PDF DOI Publisher page
298 days

Categorical-algebraic aspects of Heyting semilattices

AuthorsX. García-Martínez; J.R.A. Gray; M.A. Hoefnagel; T. Van der Linden; C. Vienne

AffiliationsCITMAga & Universidade de Santiago de Compostela, Departamento de Matemáticas, Rúa Lope Gómez de Marzoa s/n, 15782 Santiago de Compostela, Spain; Mathematics Division, Department of Mathematical Sciences, Stellenbosch University, Private Bag X1, 7602 Matieland, South Africa; Institut de Recherche en Mathématique et Physique, Université catholique de Louvain, chemin du cyclotron 2 bte L7.01.02, B–1348 Louvain-la-Neuve, Belgium; Mathematics & Data Science, Vrije Universiteit Brussel, Pleinlaan 2, B–1050 Brussel, Belgium; Dipartimento di Matematica “Federigo Enriques”, Università degli Studi di Milano, Via Saldini 50, 20133 Milano, Italy; National Institute for Theoretical and Computational Sciences (NITheCS), South Africa

Source PDF DOI Publisher page
153 days

Dimension and topology in transserial tame pairs

AuthorsNigel Pynn-Coates

AffiliationsKurt Gödel Research Center, Institute of Mathematics, University of Vienna, Austria

Source PDF DOI Publisher page
403 days

Universal proof theory: Semi-analytic rules and uniform interpolation

AuthorsAmirhossein Akbar Tabatabai; Raheleh Jalali

AffiliationsBernoulli Institute, University of Groningen, Groningen, Netherlands; Department of Computer Science, University of Bath, Bath, UK

Source PDF DOI Publisher page
152 days

Canonical forms of Borel functions on Silver blocks

AuthorsFabian Kaak; Otmar Spinas

AffiliationsMathematisches Seminar, Christian-Albrechts-Universität zu Kiel, Heinrich-Hecht-Platz 6, 24118 Kiel, Germany

Source PDF DOI Publisher page
794 days

Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables

AuthorsMikhail Rybakov

AffiliationsHigher School of Modern Mathematics, MIPT, 1 building 1, Klimentovskiy Pereulok, 115184, Moscow, Russia; HSE University, 20 Myasnitskaya ulitsa, 101000, Moscow, Russia

Source PDF DOI Publisher page

Expert Matching · Case Demo

Turn Your Submission Goalsinto a Verifiable Journal Plan

Share your field, deadline, and author profile. CrushSCI uses real review records to suggest a title direction, shortlist journals, and estimate timelines.

CrushSCI online

Client

I work in environmental engineering and need an SCI paper published within three months. I have no grant funding or prominent co-author. Which journals could I target?

CrushSCI

Yes. We will first screen for feasibility against the 90-day deadline, then identify comparable papers without grant support or prominent co-authors. The final shortlist will prioritize research quality and journal scope.

Suggested title
Machine Learning and Life-Cycle Assessment for Predicting and Optimizing Carbon Emissions in Urban Wastewater Treatment

SampleLatest 5 valid paper samples from 2026

Average review96.4 days

Median77 days

Contact CrushSCI

Contact CrushSCI

Leave your contact details so we can discuss your manuscript, editing needs, and submission plan.

Selected service: Paper Editing Service

Or leave your contact details

WhatsApp, Telegram, WeChat, and email are all optional, but at least one is required. Once received, we will contact you as soon as possible.