Journal of Logic and Computation

Papers
(The H4-Index of Journal of Logic and Computation is 9. 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-07-01 to 2024-07-01.)
ArticleCitations
Declarative continuous reasoning in the cloud-IoT continuum15
Open sets in computability theory and reverse mathematics15
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages14
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis12
Completeness theorems for first-order logic analysed in constructive type theory12
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages11
Complexity of finite-variable fragments of products with K10
Founded semantics and constraint semantics of logic rules10
Labelled calculi for quantified modal logics with definite descriptions9
An efficient reasoning method on logic programming using partial evaluation in vector spaces9
0.043437957763672