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 2021-12-01 to 2025-12-01.)

Article	Citations
Game equivalence and expressive power of game description languages: a bisimulation approach	25
Correction to: Opinion diffusion and campaigning on society graphs	11
Arithmetical and Hyperarithmetical Worm Battles	9
`3coSoKu` and its declarative modeling	9
The XAI system for answer set programming xASP2	9
Resolving the Cohenian paradox in judicial probability theory	8
A logical characterization of constant-depth circuits over the reals	7
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	7
Dynamic superiorities in Defeasible Logic	7
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
Fixed point theorems for minimal numberings	7
Towards determinism in PDL: relations and proof theory	6
Logics for contact and measure	6
Normalization and cut-elimination theorems for some logics of evidence and truth	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	6
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	6
Adding abductive reasoning to a propositional logic	5
The flattening operator in team-based logics	5
Numeral completeness of weak theories of arithmetic	5
Formalized soundness and completeness of epistemic and public announcement logic	5
Dual counterpart intuitionistic logic	5
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	5
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
Estimating event probabilities via signal temporal logic and first occurrence distributions	4
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	4

Serial properties, selector proofs and the provability of consistency	4
Congruence filter pairs, equational filter pairs and adjoints	4
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	4
Weak Belnapian modal logic	4
Complexity of injection structures induced by finite state transducers	4
On Rosser theories	4
Basic modal congruent and monotonic multilattice logics	4
Gates and circuits via Dunn semantics	4
90 years of Gödel’s incompleteness theorems: Logic and computation	3
Modular orders on defaults in formal argumentation	3
The logics for the complexity classes with limited non-determinism	3
Permissive and regulative norms in deontic logic	3
Projective unification in weakly transitive and weakly symmetric modal logics	3
Ensuring trustworthy and ethical behaviour in intelligent logical agents	3
A minimal coalition logic	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	3
Argumentation Frameworks with Attack Classification	3
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	3
Incrementally predictive runtime verification	3
A sequent calculus for first-order logic formalized in Isabelle/HOL	3
Hybrid sabotage modal logic	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
A typed lambda-calculus with first-class configurations	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
Unfriendly partitions when avoiding vertices of finite degree	3
Stochastic sharing calculus for reasoning about social networks	3
On sheaves on semicartesian quantales and their truth values	3
Operating room scheduling via answer set programming: Improved encoding and test on real data	3
A formalization of abstract argumentation in higher-order logic	3
A Modal Axiomatization of BK	2
A logic for biassed information diffusion by paranoid agents in social networks	2
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	2
A new perspective on completeness and finitist consistency	2
Lindström’s theorem, both syntax and semantics free	2
Normal functions and maximal order types	2
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
A comprehensive account of the burden of persuasion in abstract argumentation	2
Principles of logics for plausible reasoning	2
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	2
Intuitionistic S4 as a logic of topological spaces	2
Bounded model checking distributed temporal logic	2
A calculus for modal compact Hausdorff spaces	2
Topologies on residuated lattices	2
A fuzzy structure processing mechanism for graph grammar	2
Pattern connectives	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Opinion diffusion and campaigning on society graphs	2
On the weak completeness of a fragment of linear temporal logic	2
Uncertainty-based knowing how logic	2

An encoding of abstract dialectical frameworks into higher-order logic	2
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	2
A Representation of Lawson compact L-domains by information systems	2
Modal weak Kleene logics: axiomatizations and relational semantics	2
Conditionals and modals in contexts	2
Characterizations of two basic hybrid logics	2
Observing interventions: a logic for thinking about experiments	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Polyatomic logics and generalized Blok–Esakia theory	2
Gödelian sentences, Rosserian sentences and truth	2
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
Relational models for the Lambek calculus with local contraction subexponentials	2
Integrating individual preferences into collective argumentation	2
Correction to: Conjunctive degrees and cylinders	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
The adjacent fragment and Quine’s limits of decision	2
Temporal logics for compartmental models	2
Classical computation over quantum architectures	2