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

Article	Citations
Paracomplete truth theory with KFS-definable determinateness	19
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	10
Correction to: Conjunctive degrees and cylinders	8
On probabilistic argumentation and subargument-completeness	8
Smullyan’s truth and provability	8
Conjunctive degrees and cylinders	8
An encoding of abstract dialectical frameworks into higher-order logic	7
Changing the logic without changing the subject: the case of computability	7
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	7
Fixed point theorems for minimal numberings	7
Preface	6
Resolving the Cohenian paradox in judicial probability theory	6
Modalities combining two negations	6
Classifying all transducer degrees below N3	5
Lindström’s theorem, both syntax and semantics free	5
Correction to: Opinion diffusion and campaigning on society graphs	5
`3coSoKu` and its declarative modeling	5
A logic of interactive proofs	5
The umbilical cord of finite model theory	5
Preface: Special Issue on Logic and Argumentation	5
Editorial DEON 2020/2021 Special Issue	5
Correction to: Argumentation Frameworks with Attack Classification	4
PubHubs identity management	4
Modeling dynamics of legal relations with dynamic logic	4
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	4

Modelling efficient team structures in biology	4
Justification logic and type theory as formalizations of intuitionistic propositional logic	4
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	4
Dualities and algebraic geometry of Baire functions in non-classical logic	4
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	4
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	4
Handling inconsistency in partially preordered ontologies: the Elect method	4
Dynamic superiorities in Defeasible Logic	4
Game equivalence and expressive power of game description languages: a bisimulation approach	4
Modal Logics and Group Polarization	3
Polyatomic logics and generalized Blok–Esakia theory	3
Epistemic extensions of substructural inquisitive logics	3
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	3
Gödelian sentences, Rosserian sentences and truth	3
Modal algebra of multirelations	3
A fuzzy structure processing mechanism for graph grammar	3
A parametrized axiomatization for a large number of restricted second-order logics	3
The XAI system for answer set programming xASP2	3
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic	3
A Stone-type duality for semilattices with adjunctions	3
Logics of formal inconsistency based on distributive involutive residuated lattices	3
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	3
One-dimensional fragment over words and trees	3
On the behaviour of coalgebras with side effects and algebras with effectful iteration	2
The polyhedral geometry of Wajsberg hoops	2
A parameterized view on the complexity of dependence and independence logic	2
Strategic coalitions in stochastic games	2
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs	2
Dialectica logical principles: not only rules	2
Notions of indifference for genericity: Union sets and subsequence sets	2
Extracting efficient exact real number computation from proofs in constructive type theory	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
A new perspective on completeness and finitist consistency	2
Serial properties, selector proofs and the provability of consistency	2
Dual counterpart intuitionistic logic	2
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	2
A recursion theoretic foundation of computation over real numbers	2
Perfect proofs at first order	2
A formal, diagrammatic, and operational study of normative relations	2
Reasoning in social settings	2
An algebraic analysis of implication in non-distributive logics	2
A logical characterization of constant-depth circuits over the reals	2
Carmo and Jones’ logic for contrary-to-duty obligations revised	2
On embedding Lambek calculus into commutative categorial grammars	2
Strict computability models over categories and presheaves	2
Belief contraction and erasure in fragments of propositional logic	2
Computably enumerable equivalence relations via primitive recursive reductions	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	2
The extended predicative Mahlo universe in Martin-Löf type theory	2

On some computational properties of open sets	2
Arithmetical and Hyperarithmetical Worm Battles	2
Pattern connectives	2
Rescheduling rehabilitation sessions with answer set programming	1
Extracting Herbrand systems from refutation schemata	1
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	1
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages	1
Topologies on residuated lattices	1
ℋ-Colouring Dichotomy in Proof Complexity	1
On the expressive power of Łukasiewicz square operator	1
Adding abductive reasoning to a propositional logic	1
Advancing Logic in AI: insights from the LNGAI 2021 Workshop	1
A policy-aware epistemic framework for social networks	1
Towards determinism in PDL: relations and proof theory	1
Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks	1
Care-theoretic semantics	1
Computational properties of finite PNmatrices	1
Preface of the special issue‘Logic, argumentation and AI’ in JLC	1
Reflexive combinatory algebras	1
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	1
Topological semantics of conservativity and interpretability logics	1
Recursive rules with aggregation: a simple unified semantics	1
To the logical foundations of random number generator construction	1
Observing interventions: a logic for thinking about experiments	1
Temporal logics for compartmental models	1
Bisimulation in model-changing modal logics: An algorithmic study	1
Limitations of the invertible-map equivalences	1
Generic logical encoding for argumentation	1
A logic for biassed information diffusion by paranoid agents in social networks	1
Logics for contact and measure	1
Numeral completeness of weak theories of arithmetic	1
Playwright Gerhard Gentzen	1
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	1
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	1
On probabilistic and causal reasoning with summation operators	1
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic	1
Checking trustworthiness of probabilistic computations in a typed natural deduction system	1
Bounded model checking distributed temporal logic	1
Correction to: Arithmetical and Hyperarithmetical Worm Battles	1
Deductive databases in four-valued logic: rule semantics and models	1
A calculus for modal compact Hausdorff spaces	1
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	1
Complexity of finite-variable fragments of products with non-transitive modal logics	1
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories	1
Extending dynamic logic with refinements of abstract actions	1
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex	1
Efficient compliance checking of RDF data	1
Logics with probabilistic team semantics and the Boolean negation	1
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	1
Computational Errors and Suspension in a PWK Epistemic Agent	1
Constructive and mechanised meta-theory of IEL and similar modal logics	1
Complexity of injection structures induced by finite state transducers	1
Computing minimal unsatisfiable core for LTL over finite traces	1
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020)	1
Normalization and cut-elimination theorems for some logics of evidence and truth	1
Formalized soundness and completeness of epistemic and public announcement logic	1
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	1
Relevant epistemic logic with public announcements and common knowledge	1