Home›Search›JOURNAL OF LOGIC AND COMPUTATION

JOURNAL OF LOGIC AND COMPUTATION

OXFORD UNIV PRESS · GB

ISSN0955-792XeISSN1465-363X

✓ WOS SCIE

/ 100

High Risk

Score Breakdown

✓ WoS SCIE/SSCI+25

Total25

Journal Impact Factor

This journal is indexed in Web of Science (JCR) and has an official Journal Impact Factor. View the current value on the journal’s page ↗

SNIP

0.899

Aims & Scope✦ Inferred from recent articles

This journal publishes research on formal logic, including modal logic, intuitionistic logic, and substructural logics. It also covers computational logic, belief change, and the expressive power of computational models like neural networks. Specific topics include algebraic structures in logic, axiomatization of logics, complexity of logical problems, and applications in program verification and artificial intelligence.

AI-summarised from recent articles · verify on publisher page →

General Information

Country / RegionGB

Primary LanguageEnglish

1st Year Published—

StatusActive

Total Publications—

Publisher OrgOxford University Press

Visit Journal Website

Submission Info

Peer Review—

Review Time—

Acceptance Rate—

OA License—

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

Think.Check.Submit Compliance

thinkchecksubmit.org

6/12 · 50%

✅

Do you know the journal / publisher?

OXFORD UNIV PRESS

✅

Does the journal have a website?

✓ Linked

✅

Is the ISSN verified?

0955-792X / 1465-363X

✅

Indexed in a trusted database?

WoS

❌

Peer review process documented?

N/A

❌

Follows ethical publishing standards (COPE)?

N/A

❌

APC fees clearly disclosed?

N/A

✅

Not on predatory/blacklists?

✓ Clean

❌

Long-term digital preservation?

N/A

❌

Plagiarism detection in place?

N/A

❌

Listed in DOAJ (verified OA)?

N/A

✅

Primary language documented?

English

Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.

Subject Classification

Web of Science Categories

Computer Science, Theory & MethodsLogic

Research Topics (OpenAlex)

Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systemsSemantic Web and OntologiesFormal Methods in VerificationMulti-Agent Systems and NegotiationComputability, Logic, AI Algorithmssemigroups and automata theoryPhilosophy and Theoretical ScienceRough Sets and Fuzzy Logic