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-05-01 to 2026-05-01.)

Article	Citations
Game equivalence and expressive power of game description languages: a bisimulation approach	14
Correction to: Opinion diffusion and campaigning on society graphs	10
Arithmetical and Hyperarithmetical Worm Battles	9
A logical characterization of constant-depth circuits over the reals	8
Dynamic superiorities in Defeasible Logic	8
Fixed point theorems for minimal numberings	6
The XAI system for answer set programming xASP2	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	5
Serial properties, selector proofs and the provability of consistency	5
Proof-theoretic analysis of subabelian lattice logic	5
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	5
Numeral completeness of weak theories of arithmetic	5
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	5
Dual counterpart intuitionistic logic	5
Formalized soundness and completeness of epistemic and public announcement logic	4
An algebraic approach to the study of monadic substructural predicate logics over FLew	4
Congruence filter pairs, equational filter pairs and adjoints	4
Weak Belnapian modal logic	4
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
Towards determinism in PDL: relations and proof theory	4
The flattening operator in team-based logics	4
Complexity of injection structures induced by finite state transducers	4
On Rosser theories	4
Unfriendly partitions when avoiding vertices of finite degree	4
Normalization and cut-elimination theorems for some logics of evidence and truth	4

RETRACTED AND REPLACED: Logics for contact and measure	4
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	4
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	4
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	4
A typed lambda-calculus with first-class configurations	3
Permissive and regulative norms in deontic logic	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
The logics for the complexity classes with limited non-determinism	3
Modular orders on defaults in formal argumentation	3
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	3
A formalization of abstract argumentation in higher-order logic	3
Incrementally predictive runtime verification	3
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	3
Advances in computational logic (CILC 2024)	3
Simple dynamic logic with parallel composition and applications to planning	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
Argumentation Frameworks with Attack Classification	3
On sheaves on semicartesian quantales and their truth values	3
Estimating event probabilities via signal temporal logic and first occurrence distributions	3
Gates and circuits via Dunn semantics	3
A Representation of Lawson compact L-domains by information systems	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Computing most general unifiers in Euclidean modal logics	2
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	2
Intuitionistic S4 as a logic of topological spaces	2
The adjacent fragment and Quine’s limits of decision	2
Classical computation over quantum architectures	2
An encoding of abstract dialectical frameworks into higher-order logic	2
A minimal substitution basis for the Kalmár elementary functions	2
Polyatomic logics and generalized Blok–Esakia theory	2
Topologies on residuated lattices	2
Integrating individual preferences into collective argumentation	2
Normal functions and maximal order types	2
A comprehensive account of the burden of persuasion in abstract argumentation	2
Strategic and private reasoning with the concurrent (timed) language for argumentation	2
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
Context-based argumentation frameworks and multi-agent consensus building	2
Modal weak Kleene logics: axiomatizations and relational semantics	2
Conditionals and modals in contexts	2
On the weak completeness of a fragment of linear temporal logic	2
Bounded model checking distributed temporal logic	2
Correction to: Conjunctive degrees and cylinders	2
A calculus for modal compact Hausdorff spaces	2
A new perspective on completeness and finitist consistency	2
Temporal logics for compartmental models	2
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
Operating room scheduling via answer set programming: Improved encoding and test on real data	2
A sequent calculus for first-order logic formalized in Isabelle/HOL	2

Randomness and invariance	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Implicit commitment in a general setting	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
Relational models for the Lambek calculus with local contraction subexponentials	2
Descriptive complexity for neural networks via Boolean networks	2
A fuzzy structure processing mechanism for graph grammar	2
A Modal Axiomatization of BK	2
Uncertainty-based knowing how logic	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Principles of logics for plausible reasoning	2
A minimal coalition logic	2