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

Article	Citations
Arithmetical and Hyperarithmetical Worm Battles	17
Paracomplete truth theory with KFS-definable determinateness	10
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	10
Smullyan’s truth and provability	8
On probabilistic argumentation and subargument-completeness	8
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	8
An algebraic analysis of implication in non-distributive logics	8
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic	8
Modalities combining two negations	7
Preface	7
Wanted dead or alive: epistemic logic for impure simplicial complexes	7
Resolving the Cohenian paradox in judicial probability theory	7
Fixed point theorems for minimal numberings	6
Preface: Special Issue on Logic and Argumentation	6
Correction to: Opinion diffusion and campaigning on society graphs	6
One-dimensional fragment over words and trees	5
`3coSoKu` and its declarative modeling	5
On the behaviour of coalgebras with side effects and algebras with effectful iteration	5
Editorial DEON 2020/2021 Special Issue	5
Classifying all transducer degrees below N3	5
Lindström’s theorem, both syntax and semantics free	5
Gödelian sentences, Rosserian sentences and truth	5
The umbilical cord of finite model theory	5
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	4
Modelling efficient team structures in biology	4

PubHubs identity management	4
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	4
A logical characterization of constant-depth circuits over the reals	4
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	4
Game equivalence and expressive power of game description languages: a bisimulation approach	4
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	4
A logic of interactive proofs	4
Justification logic and type theory as formalizations of intuitionistic propositional logic	4
A parametrized axiomatization for a large number of restricted second-order logics	4
Epistemic extensions of substructural inquisitive logics	3
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	3
An encoding of abstract dialectical frameworks into higher-order logic	3
A fuzzy structure processing mechanism for graph grammar	3
Modal algebra of multirelations	3
Dynamic superiorities in Defeasible Logic	3
Dualities and algebraic geometry of Baire functions in non-classical logic	3
Changing the logic without changing the subject: the case of computability	3
Logics of formal inconsistency based on distributive involutive residuated lattices	3
Polyatomic logics and generalized Blok–Esakia theory	3
Modeling dynamics of legal relations with dynamic logic	3
Correction to: Argumentation Frameworks with Attack Classification	3
Modal Logics and Group Polarization	3
Extracting efficient exact real number computation from proofs in constructive type theory	2
Reasoning in social settings	2
Pattern connectives	2
The polyhedral geometry of Wajsberg hoops	2
Preface	2
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex	2
Relevant epistemic logic with public announcements and common knowledge	2
Topological semantics of conservativity and interpretability logics	2
A recursion theoretic foundation of computation over real numbers	2
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs	2
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	2
On some computational properties of open sets	2
On the expressive power of Łukasiewicz square operator	2
Handling inconsistency in partially preordered ontologies: the Elect method	2
Adding abductive reasoning to a propositional logic	2
A parameterized view on the complexity of dependence and independence logic	2
Strategic coalitions in stochastic games	2
Experience and prediction: a metric of hardness for a novel litmus test	2
Perfect proofs at first order	2
On embedding Lambek calculus into commutative categorial grammars	2
Dialectica logical principles: not only rules	2
Notions of indifference for genericity: Union sets and subsequence sets	2
The XAI system for answer set programming xASP2	2
A new perspective on completeness and finitist consistency	2
Correction to: Conjunctive degrees and cylinders	2
Carmo and Jones’ logic for contrary-to-duty obligations revised	2
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020)	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2

Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	2
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories	2
Computational Errors and Suspension in a PWK Epistemic Agent	2
A logic for biassed information diffusion by paranoid agents in social networks	2
A formal, diagrammatic, and operational study of normative relations	2
Conjunctive degrees and cylinders	2
Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	2
Computably enumerable equivalence relations via primitive recursive reductions	1
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	1
Attack principles in sequent-based argumentation theory	1
Read-once refutations in Horn constraint systems: an algorithmic approach	1
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	1
Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks	1
To the logical foundations of random number generator construction	1
A study of continuous vector representations for theorem proving	1
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge	1
Computing minimal unsatisfiable core for LTL over finite traces	1
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic	1
On probabilistic and causal reasoning with summation operators	1
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	1
Towards determinism in PDL: relations and proof theory	1
Strict computability models over categories and presheaves	1
Computational properties of finite PNmatrices	1
Topologies on residuated lattices	1
Observing interventions: a logic for thinking about experiments	1
Extending dynamic logic with refinements of abstract actions	1
Formalized soundness and completeness of epistemic and public announcement logic	1
Generic logical encoding for argumentation	1
Care-theoretic semantics	1
Correction to: Arithmetical and Hyperarithmetical Worm Battles	1
Estimating event probabilities via signal temporal logic and first occurrence distributions	1
Checking trustworthiness of probabilistic computations in a typed natural deduction system	1
Limitations of the invertible-map equivalences	1
Complexity of finite-variable fragments of products with non-transitive modal logics	1
Logics for contact and measure	1
Numeral completeness of weak theories of arithmetic	1
Dual counterpart intuitionistic logic	1
A policy-aware epistemic framework for social networks	1
Normalization and cut-elimination theorems for some logics of evidence and truth	1
Bisimulation in model-changing modal logics: An algorithmic study	1
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	1
A Talmudic norms approach to many-valued logic	1
The extended predicative Mahlo universe in Martin-Löf type theory	1
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	1
An efficient reasoning method on logic programming using partial evaluation in vector spaces	1
Serial properties, selector proofs and the provability of consistency	1
Preface of the special issue‘Logic, argumentation and AI’ in JLC	1
Playwright Gerhard Gentzen	1
Efficient compliance checking of RDF data	1
Complexity of injection structures induced by finite state transducers	1
Advancing Logic in AI: insights from the LNGAI 2021 Workshop	1
Constructive and mechanised meta-theory of IEL and similar modal logics	1
Belief contraction and erasure in fragments of propositional logic	1
Notes on conjunctive and Quasi degrees	1