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-11-01 to 2024-11-01.)
ArticleCitations
Declarative continuous reasoning in the cloud-IoT continuum17
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis14
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
Labelled calculi for quantified modal logics with definite descriptions10
An efficient reasoning method on logic programming using partial evaluation in vector spaces10
Relating structure and power: Comonadic semantics for computational resources8
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic8
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages8
Abstract argumentation and the rational man8
Handling inconsistency in partially preordered ontologies: the Elect method8
0.12164998054504