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

Article	Citations
Game equivalence and expressive power of game description languages: a bisimulation approach	23
Correction to: Opinion diffusion and campaigning on society graphs	11
The XAI system for answer set programming xASP2	9
Arithmetical and Hyperarithmetical Worm Battles	9
`3coSoKu` and its declarative modeling	9
Resolving the Cohenian paradox in judicial probability theory	8
Fixed point theorems for minimal numberings	7
Dynamic superiorities in Defeasible Logic	7
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	7
A logical characterization of constant-depth circuits over the reals	7
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	6
Towards determinism in PDL: relations and proof theory	6
Logics for contact and measure	6
Normalization and cut-elimination theorems for some logics of evidence and truth	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	6
Formalized soundness and completeness of epistemic and public announcement logic	5
Dual counterpart intuitionistic logic	5
Numeral completeness of weak theories of arithmetic	5
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	5
Adding abductive reasoning to a propositional logic	5
The flattening operator in team-based logics	4
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
On Rosser theories	4
Unfriendly partitions when avoiding vertices of finite degree	4

Serial properties, selector proofs and the provability of consistency	4
Congruence filter pairs, equational filter pairs and adjoints	4
Gates and circuits via Dunn semantics	4
Complexity of injection structures induced by finite state transducers	4
Estimating event probabilities via signal temporal logic and first occurrence distributions	4
Basic modal congruent and monotonic multilattice logics	4
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
A typed lambda-calculus with first-class configurations	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
A formalization of abstract argumentation in higher-order logic	3
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	3
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	3
Weak Belnapian modal logic	3
Argumentation Frameworks with Attack Classification	3
Stochastic sharing calculus for reasoning about social networks	3
Modular orders on defaults in formal argumentation	3
The logics for the complexity classes with limited non-determinism	3
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
Permissive and regulative norms in deontic logic	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
Opinion diffusion and campaigning on society graphs	2
On sheaves on semicartesian quantales and their truth values	2
Ensuring trustworthy and ethical behaviour in intelligent logical agents	2
Projective unification in weakly transitive and weakly symmetric modal logics	2
Integrating individual preferences into collective argumentation	2
An encoding of abstract dialectical frameworks into higher-order logic	2
Classical computation over quantum architectures	2
A calculus for modal compact Hausdorff spaces	2
Topologies on residuated lattices	2
A Representation of Lawson compact L-domains by information systems	2
Normal functions and maximal order types	2
On the weak completeness of a fragment of linear temporal logic	2
Gödelian sentences, Rosserian sentences and truth	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
A comprehensive account of the burden of persuasion in abstract argumentation	2
Operating room scheduling via answer set programming: Improved encoding and test on real data	2
A sequent calculus for first-order logic formalized in Isabelle/HOL	2
A fuzzy structure processing mechanism for graph grammar	2
Correction to: Conjunctive degrees and cylinders	2
Bounded model checking distributed temporal logic	2
Observing interventions: a logic for thinking about experiments	2
A Modal Axiomatization of BK	2
The adjacent fragment and Quine’s limits of decision	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Relational models for the Lambek calculus with local contraction subexponentials	2
Lindström’s theorem, both syntax and semantics free	2

Principles of logics for plausible reasoning	2
Hybrid sabotage modal logic	2
Incrementally predictive runtime verification	2
Polyatomic logics and generalized Blok–Esakia theory	2
Uncertainty-based knowing how logic	2
Conditionals and modals in contexts	2
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	2
A logic for biassed information diffusion by paranoid agents in social networks	2
Pattern connectives	2
A new perspective on completeness and finitist consistency	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	2
Context-based argumentation frameworks and multi-agent consensus building	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Modal structures in groups and vector spaces	1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
Temporal logics for compartmental models	1
Semantic data management in P2P systems driven by self-esteem	1
Noetherian Gödel logics	1
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021	1
Tense logics based on posets	1
On tense bounded Hilbert algebras with supremum	1
Tailoring explanations through conversation	1
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
Reflexive combinatory algebras	1
Coarsening natural deduction proofs II: finding gaunt proofs	1
Computational properties of finite PNmatrices	1
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	1
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	1
Probabilistic consequence relations	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Scheduling pre-operative assessment clinic with answer set programming	1
Modeling dynamics of legal relations with dynamic logic	1
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	1
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	1
Fuzzy labelling semantics for quantitative argumentation	1
Explicit non-normal modal logic	1
Declarative continuous reasoning in the cloud-IoT continuum	1
A categorical analysis of compatibility frames	1
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Commutative action logic	1
Evaluative presentations	1
The Expressivity of Quantified Group Announcements	1
Effective inseparability and some applications in meta-mathematics	1
A unified logical framework for explanations in classifier systems	1
A logic-based tractable approximation of probability	1
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy	1
Characterizations of two basic hybrid logics	1
Copying safety and liveness properties of computational artefacts	1
Computing most general unifiers in Euclidean modal logics	1
Correction to: Argumentation Frameworks with Attack Classification	1
Implicit commitment in a general setting	1
A Stone-type duality for semilattices with adjunctions	1
Modal weak Kleene logics: axiomatizations and relational semantics	1
Intuitionistic S4 as a logic of topological spaces	1
How to leverage intelligent agents and complex event processing to improve patient monitoring	1
A logical framework to model software development by multiple agents following a common specification	1
On subreducts of subresiduated lattices and some related logics	1
Consistency and permission in deontic justification logic	1
Preface	1
Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation	1
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	1
Efficient compliance checking of RDF data	1
Rely more or less, for better or for worse: Intertwining reliability and preferences	1
Modal algebra of multirelations	1
On the plurality of graphs	1
Semitopology: a topological approach to decentralized collaborative action	1