Journal Report

JOURNAL OF LOGIC AND COMPUTATION

Download PDF
Journal Information
Journal Title
JOURNAL OF LOGIC AND COMPUTATION
Publisher
OXFORD UNIV PRESS
ISSN
0955-792X
E-ISSN
1465-363X
Database
Clarivate
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
Single-world counterfactual reasoning in ProbLog
Saimun Habib, Vaishak Belle, Fengxiang He
2026-11-2 Vol. 36 Issue 8
DOI: 10.1093/logcom/exag046
Unsupervised detection of overshooting defects using hybrid generative and boundary classification models
Paula Arcano-Bea, Anabel Díaz-Labrador, Alejandro Vidal-Bralo et al.
2026-11-2 Vol. 36 Issue 8
DOI: 10.1093/logcom/exag054
Strongly complete axiomatizations for logics with probabilistic interventionist counterfactuals
Fausto Barbero, Jonni Virtema
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag043
Computable presentations of linear orders
Aknur Askarbekkyzy, Heer Tern Koh, Keng Meng Ng
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag052
Church- and Curry-typing in the meaning explanations of constructive type theory
Bruno Bentzen, Ansten Klev
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag051
Intuitionistic logical framework for dimensionality reduction: a constructive approach to neural network optimization
Andrei Tudor Pătraşcu
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag047
An expressive model for the specification and analysis of obligations
Sandra Alves, Maribel Fernández
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag041
Exact truth and double-rail logics
Satoru Niki
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag042
Structural completeness in basic hoops and <b>BL</b> -algebras
Paolo Aglianò, Francesco Manfucci
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag045
On a topological duality for Stonean Hilbert algebras
Ismael Calomino, Daniela Montangie
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag044
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 6, 2026 21:21