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

Article	Citations
Preface	20
Arithmetical and Hyperarithmetical Worm Battles	9
The XAI system for answer set programming xASP2	8
Game equivalence and expressive power of game description languages: a bisimulation approach	8
`3coSoKu` and its declarative modeling	8
Fixed point theorems for minimal numberings	7
Correction to: Opinion diffusion and campaigning on society graphs	7
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
Dynamic superiorities in Defeasible Logic	7
Resolving the Cohenian paradox in judicial probability theory	7
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
Dual counterpart intuitionistic logic	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
Unfriendly partitions when avoiding vertices of finite degree	4
Congruence filter pairs, equational filter pairs and adjoints	4
Complexity of injection structures induced by finite state transducers	4

Serial properties, selector proofs and the provability of consistency	4
Gates and circuits via Dunn semantics	4
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	4
Formalized soundness and completeness of epistemic and public announcement logic	4
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
On Rosser theories	4
The flattening operator in team-based logics	4
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	3
Strictly join irreducible varieties of residuated lattices	3
Permissive and regulative norms in deontic logic	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	3
Weak Belnapian modal logic	3
Basic modal congruent and monotonic multilattice logics	3
Modular orders on defaults in formal argumentation	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
Estimating event probabilities via signal temporal logic and first occurrence distributions	3
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	3
Argumentation Frameworks with Attack Classification	3
A typed lambda-calculus with first-class configurations	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
Pattern connectives	2
On the weak completeness of a fragment of linear temporal logic	2
An encoding of abstract dialectical frameworks into higher-order logic	2
On sheaves on semicartesian quantales and their truth values	2
A fuzzy structure processing mechanism for graph grammar	2
Normal functions and maximal order types	2
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
Opinion diffusion and campaigning on society graphs	2
Modelling supra-classical logic in a Boltzmann neural network: I representation	2
Incrementally predictive runtime verification	2
Principles of logics for plausible reasoning	2
Operating room scheduling via answer set programming: Improved encoding and test on real data	2
Topologies on residuated lattices	2
The adjacent fragment and Quine’s limits of decision	2
Relational models for the Lambek calculus with local contraction subexponentials	2
Correction to: Conjunctive degrees and cylinders	2
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
Polyatomic logics and generalized Blok–Esakia theory	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
Uniform lyndon interpolation for basic non-normal modal and conditional logics	2
Hybrid sabotage modal logic	2
Lindström’s theorem, both syntax and semantics free	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
On probabilistic argumentation and subargument-completeness	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
A new perspective on completeness and finitist consistency	2
Uncertainty-based knowing how logic	2

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