Aims and Scope of Journal of Logic and Computation
The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press under licence from Professor Dov Gabbay as owner of the journal. Less
Key Metrics
CiteScore 

1.6
H-Index 

56
Impact Factor 

< 5
SJR 

Q1Logic

SNIP 

0.89
Recommended pre-submission checks
Powered by 

Topics Covered on Journal of Logic and Computation
Journal of Logic and Computation Journal Specifications
Indexed in the following public directories
Web of Science
Inspec
SJR
| Overview | |
| Publisher | OXFORD UNIV PRESS |
| Language | English |
| Frequency | Bi-monthly |
| General Details | |
| Language | English |
| Frequency | Bi-monthly |
| Publication Start Year | 1990 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Journal of Logic and Computation ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations

Recently Published Papers in Journal of Logic and Computation
Epistemic state updates in LLM agents via public announcement and graded modal logic
- 9 Mar 2026
- Journal of Logic and Computation
Correction to: Logic of defeasible permission and its dynamics
- 9 Mar 2026
- Journal of Logic and Computation
Proof-theoretic analysis of subabelian lattice logic
- 9 Mar 2026
- Journal of Logic and Computation
A minimal substitution basis for the Kalmár elementary functions
- 9 Mar 2026
- Journal of Logic and Computation
Strategic and private reasoning with the concurrent (timed) language for argumentation
- 26 Jan 2026
- Journal of Logic and Computation
Advances in computational logic (CILC 2024)
- 26 Jan 2026
- Journal of Logic and Computation
Epistemic state updates in LLM agents via public announcement and graded modal logic
- 9 Mar 2026
- Journal of Logic and Computation
Correction to: Logic of defeasible permission and its dynamics
- 9 Mar 2026
- Journal of Logic and Computation
Proof-theoretic analysis of subabelian lattice logic
- 9 Mar 2026
- Journal of Logic and Computation
A minimal substitution basis for the Kalmár elementary functions
- 9 Mar 2026
- Journal of Logic and Computation
Strategic and private reasoning with the concurrent (timed) language for argumentation
- 26 Jan 2026
- Journal of Logic and Computation
Advances in computational logic (CILC 2024)
- 26 Jan 2026
- Journal of Logic and Computation