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
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
Learning attack relations in abstract argumentation from extension examples
Lars Malmqvist
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag049
Recursive completion in higher λ-models
Daniel O Martínez-Rivillas, Arthur F Ramos, Ruy J G B de Queiroz
2026-9-9 Vol. 36 Issue 7
DOI: 10.1093/logcom/exag048
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 1, 2026 01:31