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

Article	Citations
Preface	20
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
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
Game equivalence and expressive power of game description languages: a bisimulation approach	7
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	6
Serial properties, selector proofs and the provability of consistency	6
Adding abductive reasoning to a propositional logic	6
Formalized soundness and completeness of epistemic and public announcement logic	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	6
On embedding Lambek calculus into commutative categorial grammars	6
Dual counterpart intuitionistic logic	6
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	5
Logics for contact and measure	5
Towards determinism in PDL: relations and proof theory	5
Numeral completeness of weak theories of arithmetic	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
Congruence filter pairs, equational filter pairs and adjoints	4

Weak Belnapian modal logic	4
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	4
Normalization and cut-elimination theorems for some logics of evidence and truth	4
Estimating event probabilities via signal temporal logic and first occurrence distributions	4
Strictly join irreducible varieties of residuated lattices	4
Complexity of injection structures induced by finite state transducers	4
Gates and circuits via Dunn semantics	4
On Rosser theories	4
Unfriendly partitions when avoiding vertices of finite degree	4
A typed lambda-calculus with first-class configurations	3
Basic modal congruent and monotonic multilattice logics	3
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
Argumentation Frameworks with Attack Classification	3
Permissive and regulative norms in deontic logic	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
Modular orders on defaults in formal argumentation	3
A formalization of abstract argumentation in higher-order logic	3
Projective unification in weakly transitive and weakly symmetric modal logics	3
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	3
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
Stochastic sharing calculus for reasoning about social networks	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Gödelian sentences, Rosserian sentences and truth	2
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
On the weak completeness of a fragment of linear temporal logic	2
On probabilistic argumentation and subargument-completeness	2
A fuzzy structure processing mechanism for graph grammar	2
On sheaves on semicartesian quantales and their truth values	2
Integrating individual preferences into collective argumentation	2
Incrementally predictive runtime verification	2
Modelling supra-classical logic in a Boltzmann neural network: I representation	2
Opinion diffusion and campaigning on society graphs	2
Operating room scheduling via answer set programming: Improved encoding and test on real data	2
Pattern connectives	2
Correction to: Conjunctive degrees and cylinders	2
Polyatomic logics and generalized Blok–Esakia theory	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Uncertainty-based knowing how logic	2
Principles of logics for plausible reasoning	2
Ensuring trustworthy and ethical behaviour in intelligent logical agents	2
A sequent calculus for first-order logic formalized in Isabelle/HOL	2
A comprehensive account of the burden of persuasion in abstract argumentation	2
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	2
Relational models for the Lambek calculus with local contraction subexponentials	2
A new perspective on completeness and finitist consistency	2
An encoding of abstract dialectical frameworks into higher-order logic	2
Lindström’s theorem, both syntax and semantics free	2

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