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
The XAI system for answer set programming xASP2	8
`3coSoKu` and its declarative modeling	8
A logical characterization of constant-depth circuits over the reals	8
Dualities and algebraic geometry of Baire functions in non-classical logic	7
Dynamic superiorities in Defeasible Logic	7
Game equivalence and expressive power of game description languages: a bisimulation approach	7
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
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
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
Formalized soundness and completeness of epistemic and public announcement logic	5
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
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	4
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
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
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
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
Context-based argumentation frameworks and multi-agent consensus building	1
Efficient compliance checking of RDF data	1

Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
Semantic data management in P2P systems driven by self-esteem	1
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	1
On subreducts of subresiduated lattices and some related logics	1
Probabilistic consequence relations	1
Correction to: Argumentation Frameworks with Attack Classification	1
Computing most general unifiers in Euclidean modal logics	1
Commutative action logic	1
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	1
Explicit non-normal modal 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 Principle-based Account of Self-attacking Arguments in Gradual Semantics	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
Characterizations of two basic hybrid logics	1
Tense logics based on posets	1
Modal weak Kleene logics: axiomatizations and relational semantics	1
Computational properties of finite PNmatrices	1
Noetherian Gödel logics	1
Scheduling pre-operative assessment clinic with answer set programming	1
Modal algebra of multirelations	1
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	1
A Stone-type duality for semilattices with adjunctions	1
Preface	1
On the Turing complexity of learning finite families of algebraic structures	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Fuzzy labelling semantics for quantitative argumentation	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
How to leverage intelligent agents and complex event processing to improve patient monitoring	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
Analog reducibility	1
Coarsening natural deduction proofs II: finding gaunt proofs	1
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	1
A recursion theoretic foundation of computation over real numbers	1
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy	1
Computability of glued manifolds	1
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	1
Rely more or less, for better or for worse: Intertwining reliability and preferences	1
On the plurality of graphs	1
Modeling dynamics of legal relations with dynamic logic	1
The Expressivity of Quantified Group Announcements	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
A unified logical framework for explanations in classifier systems	1
Intuitionistic S4 as a logic of topological spaces	1
Declarative continuous reasoning in the cloud-IoT continuum	1
Topologies on residuated lattices	1
Relational models for the Lambek calculus with local contraction subexponentials	1
Implicit commitment in a general setting	1
Modal structures in groups and vector spaces	1
Copying safety and liveness properties of computational artefacts	1