Key Metrics
CiteScore 

1.5
Impact Factor 

< 5
SJR 

Q2Logic

SNIP 

1.48
Recommended pre-submission checks
Powered by 

Topics Covered on Annals of Pure and Applied Logic
Annals of Pure and Applied Logic Journal Specifications
| Overview | |
| Publisher | ELSEVIER |
| Language | English |
| Frequency | Monthly |
| General Details | |
| Language | English |
| Frequency | Monthly |
| Publication Start Year | 1983 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Annals of Pure and Applied Logic ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations

Recently Published Papers in Annals of Pure and Applied Logic
Compatibility between modal operators in distributive modal logic
- 1 Feb 2026
- Annals of Pure and Applied Logic
The theory DCF A exists for p > 0
- 1 Feb 2026
- Annals of Pure and Applied Logic
Equivalence of multiset-based consequence relations
- 1 Jan 2026
- Annals of Pure and Applied Logic
Editorial Board
- 1 Jan 2026
- Annals of Pure and Applied Logic
Proof-theoretic investigation of λβ-reduction in the simply typed λ-calculus
- 1 Jan 2026
- Annals of Pure and Applied Logic
Unified inverse correspondence for LE-logics
- 1 Jan 2026
- Annals of Pure and Applied Logic
Compatibility between modal operators in distributive modal logic
- 1 Feb 2026
- Annals of Pure and Applied Logic
The theory DCF A exists for p > 0
- 1 Feb 2026
- Annals of Pure and Applied Logic
Equivalence of multiset-based consequence relations
- 1 Jan 2026
- Annals of Pure and Applied Logic
Editorial Board
- 1 Jan 2026
- Annals of Pure and Applied Logic
Proof-theoretic investigation of λβ-reduction in the simply typed λ-calculus
- 1 Jan 2026
- Annals of Pure and Applied Logic
Unified inverse correspondence for LE-logics
- 1 Jan 2026
- Annals of Pure and Applied Logic