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

Article	Citations
Preface	19
Dualities and algebraic geometry of Baire functions in non-classical logic	8
The XAI system for answer set programming xASP2	8
`3coSoKu` and its declarative modeling	8
Arithmetical and Hyperarithmetical Worm Battles	8
A logical characterization of constant-depth circuits over the reals	8
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
Correction to: Opinion diffusion and campaigning on society graphs	7
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	6
Fixed point theorems for minimal numberings	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	6
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	6
Formalized soundness and completeness of epistemic and public announcement logic	5
Adding abductive reasoning to a propositional logic	5
Serial properties, selector proofs and the provability of consistency	5
On embedding Lambek calculus into commutative categorial grammars	5
Dual counterpart intuitionistic logic	5
Normalization and cut-elimination theorems for some logics of evidence and truth	4
Logics for contact and measure	4
Estimating event probabilities via signal temporal logic and first occurrence distributions	4
Weak Belnapian modal logic	4
Towards determinism in PDL: relations and proof theory	4
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	4

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

The Expressivity of Quantified Group Announcements	1
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	1
Bounded model checking distributed temporal logic	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
Coarsening natural deduction proofs II: finding gaunt proofs	1
Probabilistic consequence relations	1
Declarative continuous reasoning in the cloud-IoT continuum	1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
Tense logics based on posets	1
Context-based argumentation frameworks and multi-agent consensus building	1
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	1
Fuzzy labelling semantics for quantitative argumentation	1
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Explicit non-normal modal logic	1
On the Turing complexity of learning finite families of algebraic structures	1
Classical computation over quantum architectures	1
Strategic coalitions in stochastic games	1
Preface of the special issue‘Logic, argumentation and AI’ in JLC	1
A calculus for modal compact Hausdorff spaces	1
Non-distributive positive logic as a fragment of first-order logic over semilattices	1
Commutative action logic	1
Copying safety and liveness properties of computational artefacts	1
How to leverage intelligent agents and complex event processing to improve patient monitoring	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
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	1
On subreducts of subresiduated lattices and some related logics	1
On the plurality of graphs	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
Modal structures in groups and vector spaces	1
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy	1
Preface	1
Computability of glued manifolds	1
Semantic data management in P2P systems driven by self-esteem	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
Pattern connectives	1
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	1
Implicit commitment in a general setting	1
Modeling dynamics of legal relations with dynamic logic	1
Correction to: Argumentation Frameworks with Attack Classification	1
A unified logical framework for explanations in classifier systems	1
Analog reducibility	1
A Stone-type duality for semilattices with adjunctions	1
Rely more or less, for better or for worse: Intertwining reliability and preferences	1
Modal weak Kleene logics: axiomatizations and relational semantics	1
Semitopology: a topological approach to decentralized collaborative action	1
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	1
Scheduling pre-operative assessment clinic with answer set programming	1