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-05-01 to 2024-05-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 theory11
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
0.083608865737915