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

Article	Citations
Preface	20
Arithmetical and Hyperarithmetical Worm Battles	9
`3coSoKu` and its declarative modeling	8
Correction to: Opinion diffusion and campaigning on society graphs	8
The XAI system for answer set programming xASP2	8
Game equivalence and expressive power of game description languages: a bisimulation approach	8
Dynamic superiorities in Defeasible Logic	7
Resolving the Cohenian paradox in judicial probability theory	7
Fixed point theorems for minimal numberings	7
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
Dual counterpart intuitionistic logic	6
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	6
Numeral completeness of weak theories of arithmetic	6
A logical characterization of constant-depth circuits over the reals	6
On embedding Lambek calculus into commutative categorial grammars	6
Adding abductive reasoning to a propositional logic	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	6
Normalization and cut-elimination theorems for some logics of evidence and truth	5
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	5
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	5
Towards determinism in PDL: relations and proof theory	5
Logics for contact and measure	5
Serial properties, selector proofs and the provability of consistency	4
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	4
Reasoning about epistemic social network dynamics using dynamic term-modal logic	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	4
Strictly join irreducible varieties of residuated lattices	4
Formalized soundness and completeness of epistemic and public announcement logic	4
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	4
Basic modal congruent and monotonic multilattice logics	4
Gates and circuits via Dunn semantics	3
Unfriendly partitions when avoiding vertices of finite degree	3
A typed lambda-calculus with first-class configurations	3
Argumentation Frameworks with Attack Classification	3
Modular orders on defaults in formal argumentation	3
Weak Belnapian modal logic	3
On Rosser theories	3
Permissive and regulative norms in deontic logic	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
A formalization of abstract argumentation in higher-order logic	3
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	3
Congruence filter pairs, equational filter pairs and adjoints	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
Projective unification in weakly transitive and weakly symmetric modal logics	3
Estimating event probabilities via signal temporal logic and first occurrence distributions	3
Uncertainty-based knowing how logic	2
Principles of logics for plausible reasoning	2
Hybrid sabotage modal logic	2
Incrementally predictive runtime verification	2
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	2
Lindström’s theorem, both syntax and semantics free	2
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
Relational models for the Lambek calculus with local contraction subexponentials	2
A new perspective on completeness and finitist consistency	2
On probabilistic argumentation and subargument-completeness	2
Opinion diffusion and campaigning on society graphs	2
Normal functions and maximal order types	2
Stochastic sharing calculus for reasoning about social networks	2
Modelling supra-classical logic in a Boltzmann neural network: I representation	2
Gödelian sentences, Rosserian sentences and truth	2
A comprehensive account of the burden of persuasion in abstract argumentation	2
Observing interventions: a logic for thinking about experiments	2
An encoding of abstract dialectical frameworks into higher-order logic	2
Pattern connectives	2
A fuzzy structure processing mechanism for graph grammar	2
On the weak completeness of a fragment of linear temporal logic	2
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
Integrating individual preferences into collective argumentation	2
Ensuring trustworthy and ethical behaviour in intelligent logical agents	2
A sequent calculus for first-order logic formalized in Isabelle/HOL	2
Operating room scheduling via answer set programming: Improved encoding and test on real data	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2

Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Correction to: Conjunctive degrees and cylinders	2
Polyatomic logics and generalized Blok–Esakia theory	2
On sheaves on semicartesian quantales and their truth values	2
Commutative action logic	1
Timed concurrent language for argumentation with maximum parallelism	1
Tense logics based on posets	1
Tailoring explanations through conversation	1
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
On subreducts of subresiduated lattices and some related logics	1
Efficient compliance checking of RDF data	1
Semantic data management in P2P systems driven by self-esteem	1
Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation	1
Characterizations of two basic hybrid logics	1
Fuzzy labelling semantics for quantitative argumentation	1
Temporal logics for compartmental models	1
How to leverage intelligent agents and complex event processing to improve patient monitoring	1
Preface of the special issue‘Logic, argumentation and AI’ in JLC	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy	1
The Expressivity of Quantified Group Announcements	1
A Stone-type duality for semilattices with adjunctions	1
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	1
Rely more or less, for better or for worse: Intertwining reliability and preferences	1
Declarative continuous reasoning in the cloud-IoT continuum	1
Probabilistic consequence relations	1
A logical framework to model software development by multiple agents following a common specification	1
Coarsening natural deduction proofs II: finding gaunt proofs	1
Evaluative presentations	1
On the plurality of graphs	1
Reflexive combinatory algebras	1
Scheduling pre-operative assessment clinic with answer set programming	1
Computational properties of finite PNmatrices	1
Modal structures in groups and vector spaces	1
Modeling dynamics of legal relations with dynamic logic	1
Intuitionistic S4 as a logic of topological spaces	1
Noetherian Gödel logics	1
Classical computation over quantum architectures	1
A calculus for modal compact Hausdorff spaces	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Correction to: Argumentation Frameworks with Attack Classification	1
Topologies on residuated lattices	1
Explicit non-normal modal logic	1
Computing most general unifiers in Euclidean modal logics	1
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	1
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	1
Fibrational bisimulations and quantitative reasoning: Extended version	1
Implicit commitment in a general setting	1
A logic-based tractable approximation of probability	1
A categorical analysis of compatibility frames	1
Effective inseparability and some applications in meta-mathematics	1
Preface	1
Consistency and permission in deontic justification logic	1
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	1
Modal algebra of multirelations	1
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
Modal weak Kleene logics: axiomatizations and relational semantics	1
Copying safety and liveness properties of computational artefacts	1
Bounded model checking distributed temporal logic	1
Semitopology: a topological approach to decentralized collaborative action	1
A logic for biassed information diffusion by paranoid agents in social networks	1
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	1
Computability of glued manifolds	1
Context-based argumentation frameworks and multi-agent consensus building	1
A unified logical framework for explanations in classifier systems	1