OOIR: Observatory of International Research

Papers

(The TQCC of Journal of Logic and Computation is 2. 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 2022-08-01 to 2026-08-01.)

Article	Citations
Correction to: Opinion diffusion and campaigning on society graphs	15
Arithmetical and Hyperarithmetical Worm Battles	10
Dynamic superiorities in Defeasible Logic	10
Proof-theoretic analysis of subabelian lattice logic	8
Fixed point theorems for minimal numberings	8
A logical characterization of constant-depth circuits over the reals	7
The XAI system for answer set programming xASP2	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	5
Dual counterpart intuitionistic logic	5
The flattening operator in team-based logics	5
An algebraic approach to the study of monadic substructural predicate logics over FLew	5
Complexity of injection structures induced by finite state transducers	5
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	5
Serial properties, selector proofs and the provability of consistency	5
RETRACTED AND REPLACED: Logics for contact and measure	5
Recovery operators in quasi-Nelson logic: the prelinear case	5
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	5
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	5
Numeral completeness of weak theories of arithmetic	5
Towards determinism in PDL: relations and proof theory	5
Normalization and cut-elimination theorems for some logics of evidence and truth	5
Formalized soundness and completeness of epistemic and public announcement logic	5
Simple dynamic logic with parallel composition and applications to planning	4
Gates and circuits via Dunn semantics	4
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4

Weak Belnapian modal logic	4
Congruence filter pairs, equational filter pairs and adjoints	4
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	4
The logics for the complexity classes with limited non-determinism	4
On Rosser theories	4
Unfriendly partitions when avoiding vertices of finite degree	4
Advances in computational logic (CILC 2024)	4
Estimating event probabilities via signal temporal logic and first occurrence distributions	4
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	4
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	4
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	4
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
On sheaves on semicartesian quantales and their truth values	3
Modular orders on defaults in formal argumentation	3
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	3
Uncertainty-based knowing how logic	3
A comprehensive account of the burden of persuasion in abstract argumentation	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
Permissive and regulative norms in deontic logic	3
A formalization of abstract argumentation in higher-order logic	3
A minimal coalition logic	3
Principles of logics for plausible reasoning	3
Modal logical aspects of provability predicates and consistency statements	3
Integrating individual preferences into collective argumentation	3
Incrementally predictive runtime verification	3
Argumentation Frameworks with Attack Classification	3
A typed lambda-calculus with first-class configurations	3
A sequent calculus for first-order logic formalized in Isabelle/HOL	3
Operating room scheduling via answer set programming: Improved encoding and test on real data	3
Normal functions and maximal order types	3
Proof extraction for explanations in defeasible deontic logic	3
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
A Representation of Lawson compact L-domains by information systems	2
Relational models for the Lambek calculus with local contraction subexponentials	2
A new perspective on completeness and finitist consistency	2
On the weak completeness of a fragment of linear temporal logic	2
Polyatomic logics and generalized Blok–Esakia theory	2
Descriptive complexity for neural networks via Boolean networks	2
Limited-knowledge propositional announcement synthesis under Dalal revision: tight PH bounds, parameterized tractability and kernelization	2
New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic	2
Characterizations of two basic hybrid logics	2
Temporal logics for compartmental models	2
Terminating hybrid tableaus for ordered models	2
Totality, determinism and functionality problems in (incomplete) abstract argumentation frameworks	2
The adjacent fragment and Quine’s limits of decision	2
An encoding of abstract dialectical frameworks into higher-order logic	2
Strategic and private reasoning with the concurrent (timed) language for argumentation	2
A Modal Axiomatization of BK	2

A minimal substitution basis for the Kalmár elementary functions	2
Implicit commitment in a general setting	2
Intuitionistic S4 as a logic of topological spaces	2
Modal weak Kleene logics: axiomatizations and relational semantics	2
Classical computation over quantum architectures	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Correction to: Conjunctive degrees and cylinders	2
A calculus for modal compact Hausdorff spaces	2
Randomness and invariance	2
A fuzzy structure processing mechanism for graph grammar	2
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	2
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	2
Computing most general unifiers in Euclidean modal logics	2
Conditionals and modals in contexts	2