verified SJR 0,505 · Q1 • database Scopus / SJR & Web of Science indexed

United Kingdom · Oxford University Press

workspace_premium Q1 — Software lock_open Open Access Unclaimed

Journal of Logic and Computation

Journal of Logic and Computation is a journal indexed in SJR in Software and Arts and Humanities (miscellaneous) with an H index of 58. It has an SJR impact factor of 0,505 and it has a best quartile of Q1. It is published in English. It has an SJR impact factor of 0,505.

ISSN: 0955-792X

Editorial: Oxford University Press

Category: Software

Indexation: verifiedScopus / SJR verifiedWeb of Science

Unclaimed profile — some fields may be incomplete.

open_in_new Portal NPD menu_book Guidelines NPD

schedule Datos CoP · solo campos en BD

SJR Impact Factor trending_up

0,505 Q1

H-index 58

Tasa de Aceptación pie_chart

30% Selectiva

Fuente Acceptance_Rate

Tiempo a publicación hourglass_top

NPD

Campo Sin dato

Coste de Publicación (APC) payments

NPD Open Access

Ruta Non-OA 0 €

Metrics

Campos Scimago / CoP — sin series inventadas

Scopus / SJR Web of Science

SJR Impact

0,505

H-index

Docs (year)

Docs 3y

237

Total refs

1662

Cites 3y

232

Citable 3y

227

Cites/Doc 2y

0.99

Ref/Doc

31.96

Immediate OA

—

Embargoed OA

NPD

Non OA / Submission

0 €

shield Researcher voice

Name good journals. Call out predatory ones.

Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.

Fair & fast peer review Clear APC / no surprise fees Suspected predatory Fake impact claims

rate_review Write an honest review

Researcher reviews

sentiment_dissatisfied No reviews yet — be the first to share an honest experience.

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID * * Only to validate authenticity — identity is not shown publicly.

Best articles by citations

An arithmetic interpretation of intuitionistic verification

Writing out Unifiers in Linear Temporal Logic

Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND

Combining Soft Linear Logic and Spatio-temporal Operators

Classical logic with Mendler induction

Characterizing Interpolation Pairs in Infinitary Graded Logics

Changing Modalities

Categorial Grammars and Tree Languages

Bringing them all Together

Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control

An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic

An introduction to feedback Turing computability

SHOW MORE ARTICLES

An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions

A Complete Proof System for First-order Interval Temporal Logic with Projection

A Uniform Proof-theoretic Investigation of Linear Logic Programming

A Real-time Semantics of Temporal Logic of Actions

A Logical Viewpoint on Process-algebraic Quotients

A Logic for Partial System Description

A Local Search Approach to Modelling and Solving Interval Algebra Problems

A Linear Spine Calculus

A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP

A Formulae-as-Types Interpretation of Subtractive Logic

A Fixpoint Semantics for Ordered Logic

A Finite-state Approach to Events in Natural Language Semantics

FAQS

In Country of Papers you can find SJR impact factor and other metrics to help you decide on a Journal.