OOIR: Observatory of International Research

Papers

(The TQCC of Journal of Logic and Computation is 1. 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-06-01 to 2025-06-01.)

Article	Citations
Preface	19
Arithmetical and Hyperarithmetical Worm Battles	9
A logical characterization of constant-depth circuits over the reals	8
The XAI system for answer set programming xASP2	8
`3coSoKu` and its declarative modeling	8
Game equivalence and expressive power of game description languages: a bisimulation approach	7
Dualities and algebraic geometry of Baire functions in non-classical logic	7
Dynamic superiorities in Defeasible Logic	7
Correction to: Opinion diffusion and campaigning on society graphs	6
Fixed point theorems for minimal numberings	6
Adding abductive reasoning to a propositional logic	6
Resolving the Cohenian paradox in judicial probability theory	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	6
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	6
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	6
On embedding Lambek calculus into commutative categorial grammars	6
Formalized soundness and completeness of epistemic and public announcement logic	5
Towards determinism in PDL: relations and proof theory	5
Serial properties, selector proofs and the provability of consistency	5
Numeral completeness of weak theories of arithmetic	5
Dual counterpart intuitionistic logic	5
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	4
Unfriendly partitions when avoiding vertices of finite degree	4
Estimating event probabilities via signal temporal logic and first occurrence distributions	4
Logics for contact and measure	4

Weak Belnapian modal logic	4
Strictly join irreducible varieties of residuated lattices	4
Normalization and cut-elimination theorems for some logics of evidence and truth	4
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	4
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
Complexity of injection structures induced by finite state transducers	4
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	3
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	3
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	3
A typed lambda-calculus with first-class configurations	3
Argumentation Frameworks with Attack Classification	3
Basic modal congruent and monotonic multilattice logics	3
Congruence filter pairs, equational filter pairs and adjoints	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
A formalization of abstract argumentation in higher-order logic	3
Permissive and regulative norms in deontic logic	3
On Rosser theories	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	3
Modular orders on defaults in formal argumentation	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	2
Opinion diffusion and campaigning on society graphs	2
Operating room scheduling via answer set programming: Improved encoding and test on real data	2
Hybrid sabotage modal logic	2
Incrementally predictive runtime verification	2
A sequent calculus for first-order logic formalized in Isabelle/HOL	2
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
Polyatomic logics and generalized Blok–Esakia theory	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Gödelian sentences, Rosserian sentences and truth	2
Lindström’s theorem, both syntax and semantics free	2
Principles of logics for plausible reasoning	2
A comprehensive account of the burden of persuasion in abstract argumentation	2
Qualitative uncertainty and dynamics of argumentation through dynamic logic	2
Projective unification in weakly transitive and weakly symmetric modal logics	2
Normal functions and maximal order types	2
Uncertainty-based knowing how logic	2
An encoding of abstract dialectical frameworks into higher-order logic	2
A fuzzy structure processing mechanism for graph grammar	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
On sheaves on semicartesian quantales and their truth values	2
Ensuring trustworthy and ethical behaviour in intelligent logical agents	2
Stochastic sharing calculus for reasoning about social networks	2
Integrating individual preferences into collective argumentation	2
Modelling supra-classical logic in a Boltzmann neural network: I representation	2
A new perspective on completeness and finitist consistency	2
On probabilistic argumentation and subargument-completeness	2
Efficient compliance checking of RDF data	1
Rely more or less, for better or for worse: Intertwining reliability and preferences	1

Context-based argumentation frameworks and multi-agent consensus building	1
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	1
The Expressivity of Quantified Group Announcements	1
Semantic data management in P2P systems driven by self-esteem	1
Correction to: Argumentation Frameworks with Attack Classification	1
A unified logical framework for explanations in classifier systems	1
Probabilistic consequence relations	1
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	1
Declarative continuous reasoning in the cloud-IoT continuum	1
Commutative action logic	1
Non-distributive positive logic as a fragment of first-order logic over semilattices	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Temporal logics for compartmental models	1
A logic for biassed information diffusion by paranoid agents in social networks	1
Observing interventions: a logic for thinking about experiments	1
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	1
Bounded model checking distributed temporal logic	1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
Tense logics based on posets	1
On subreducts of subresiduated lattices and some related logics	1
Characterizations of two basic hybrid logics	1
Computational properties of finite PNmatrices	1
Computing most general unifiers in Euclidean modal logics	1
Modal weak Kleene logics: axiomatizations and relational semantics	1
Modal algebra of multirelations	1
Explicit non-normal modal logic	1
Scheduling pre-operative assessment clinic with answer set programming	1
A Stone-type duality for semilattices with adjunctions	1
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	1
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	1
On the Turing complexity of learning finite families of algebraic structures	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	1
Preface of the special issue‘Logic, argumentation and AI’ in JLC	1
A calculus for modal compact Hausdorff spaces	1
Pattern connectives	1
Correction to: Conjunctive degrees and cylinders	1
A categorical analysis of compatibility frames	1
Noetherian Gödel logics	1
Coarsening natural deduction proofs II: finding gaunt proofs	1
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
Analog reducibility	1
A recursion theoretic foundation of computation over real numbers	1
Preface	1
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	1
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	1
Fuzzy labelling semantics for quantitative argumentation	1
Computability of glued manifolds	1
Modeling dynamics of legal relations with dynamic logic	1
How to leverage intelligent agents and complex event processing to improve patient monitoring	1
On the plurality of graphs	1
Classical computation over quantum architectures	1
Semitopology: a topological approach to decentralized collaborative action	1
A note on the asymptotic expressiveness of ZF and ZFC	1
Intuitionistic S4 as a logic of topological spaces	1
Topologies on residuated lattices	1
Relational models for the Lambek calculus with local contraction subexponentials	1
Implicit commitment in a general setting	1
Copying safety and liveness properties of computational artefacts	1
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy	1
Modal structures in groups and vector spaces	1