Journal of Logic and Computation

Papers
(The H4-Index of Journal of Logic and Computation is 8. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-04-01 to 2024-04-01.)
ArticleCitations
Open sets in computability theory and reverse mathematics15
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages14
Declarative continuous reasoning in the cloud-IoT continuum13
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis12
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages11
Complexity of finite-variable fragments of products with K10
Completeness theorems for first-order logic analysed in constructive type theory10
Founded semantics and constraint semantics of logic rules9
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic8
Labelled calculi for quantified modal logics with definite descriptions8
Losing connection: the modal logic of definable link deletion8
Abstract argumentation and the rational man8
An efficient reasoning method on logic programming using partial evaluation in vector spaces8
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages8
0.0279541015625