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 2022-06-01 to 2026-06-01.)

Article	Citations
Correction to: Opinion diffusion and campaigning on society graphs	14
Arithmetical and Hyperarithmetical Worm Battles	10
A logical characterization of constant-depth circuits over the reals	9
Dynamic superiorities in Defeasible Logic	8
The XAI system for answer set programming xASP2	8
Proof-theoretic analysis of subabelian lattice logic	6
Fixed point theorems for minimal numberings	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	5
Dual counterpart intuitionistic logic	5
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	5
Towards determinism in PDL: relations and proof theory	5
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	5
Numeral completeness of weak theories of arithmetic	5
Serial properties, selector proofs and the provability of consistency	5
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	4
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	4
Estimating event probabilities via signal temporal logic and first occurrence distributions	4
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	4
An algebraic approach to the study of monadic substructural predicate logics over FLew	4
The flattening operator in team-based logics	4
Congruence filter pairs, equational filter pairs and adjoints	4
Weak Belnapian modal logic	4
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	4
On Rosser theories	4
RETRACTED AND REPLACED: Logics for contact and measure	4

Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
Complexity of injection structures induced by finite state transducers	4
The logics for the complexity classes with limited non-determinism	4
Unfriendly partitions when avoiding vertices of finite degree	4
Normalization and cut-elimination theorems for some logics of evidence and truth	4
Formalized soundness and completeness of epistemic and public announcement logic	4
Advances in computational logic (CILC 2024)	3
A typed lambda-calculus with first-class configurations	3
A formalization of abstract argumentation in higher-order logic	3
Incrementally predictive runtime verification	3
Operating room scheduling via answer set programming: Improved encoding and test on real data	3
Integrating individual preferences into collective argumentation	3
Permissive and regulative norms in deontic logic	3
Gates and circuits via Dunn semantics	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	3
On sheaves on semicartesian quantales and their truth values	3
A minimal coalition logic	3
Argumentation Frameworks with Attack Classification	3
Simple dynamic logic with parallel composition and applications to planning	3
Modular orders on defaults in formal argumentation	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
A sequent calculus for first-order logic formalized in Isabelle/HOL	3
A comprehensive account of the burden of persuasion in abstract argumentation	3
Classical computation over quantum architectures	2
Descriptive complexity for neural networks via Boolean networks	2
Relational models for the Lambek calculus with local contraction subexponentials	2
Intuitionistic S4 as a logic of topological spaces	2
Correction to: Conjunctive degrees and cylinders	2
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
Strategic and private reasoning with the concurrent (timed) language for argumentation	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Polyatomic logics and generalized Blok–Esakia theory	2
Context-based argumentation frameworks and multi-agent consensus building	2
Conditionals and modals in contexts	2
Temporal logics for compartmental models	2
Bounded model checking distributed temporal logic	2
The adjacent fragment and Quine’s limits of decision	2
A minimal substitution basis for the Kalmár elementary functions	2
An encoding of abstract dialectical frameworks into higher-order logic	2
A Representation of Lawson compact L-domains by information systems	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Principles of logics for plausible reasoning	2
A new perspective on completeness and finitist consistency	2
Topologies on residuated lattices	2
Implicit commitment in a general setting	2
Characterizations of two basic hybrid logics	2
Modal weak Kleene logics: axiomatizations and relational semantics	2
A Modal Axiomatization of BK	2

On the weak completeness of a fragment of linear temporal logic	2
A calculus for modal compact Hausdorff spaces	2
Randomness and invariance	2
A fuzzy structure processing mechanism for graph grammar	2
Uncertainty-based knowing how logic	2
Normal functions and maximal order types	2
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	2
New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic	2
How to leverage intelligent agents and complex event processing to improve patient monitoring	1
Proceedings of the XX Encontro Brasileiro de Lógica	1
Semitopology: a topological approach to decentralized collaborative action	1
Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation	1
Decompositions of stratified institutions	1
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	1
Timed concurrent language for argumentation with maximum parallelism	1
The Expressivity of Quantified Group Announcements	1
Defining logical systems via algebraic constraints on proofs	1
Preface	1
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021	1
Modal structures in groups and vector spaces	1
Computational properties of finite PNmatrices	1
Probabilistic consequence relations	1
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	1
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	1
Explicit non-normal modal logic	1
A unified logical framework for explanations in classifier systems	1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
Epistemic state updates in LLM agents via public announcement and graded modal logic	1
A representation theory for modal distributive lattices	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs	1
Towards ILP-based LTLf passive learning	1
A logical framework to model software development by multiple agents following a common specification	1
Correction to: Argumentation Frameworks with Attack Classification	1
Generalization of filter theory of EQ-algebras based on lattices	1
A categorical analysis of compatibility frames	1
Special issue for the 36th Italian Conference on Computational Logic (CILC 2021)	1
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
Modal algebra of multirelations	1
Scheduling pre-operative assessment clinic with answer set programming	1
Efficient compliance checking of RDF data	1
Reflexive combinatory algebras	1
Tense logics based on posets	1
Limited-knowledge propositional announcement synthesis under Dalal revision: tight PH bounds, parameterized tractability and kernelization	1
Retraction and replacement of: Logics for contact and measure	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Editors’ note: Special issue on combining probability and logic	1
Noetherian Gödel logics	1
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames	1
Computing most general unifiers in Euclidean modal logics	1
Consistency and permission in deontic justification logic	1
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups	1
ASP-based approaches for solving the nuclear medicine scheduling problem	1
The provability logic of all provability predicates	1
Copying safety and liveness properties of computational artefacts	1
Renovation sets and their applications in higher-order argumentation frameworks	1
Fuzzy labelling semantics for quantitative argumentation	1
Evaluative presentations	1
On subreducts of subresiduated lattices and some related logics	1
Modeling dynamics of legal relations with dynamic logic	1
On tense bounded Hilbert algebras with supremum	1
Effective inseparability and some applications in meta-mathematics	1
Tailoring explanations through conversation	1
Coarsening natural deduction proofs II: finding gaunt proofs	1
A Stone-type duality for semilattices with adjunctions	1
Conditional probabilities as degrees of similarity and as degrees of entailment	1
Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme	1
A logic with probabilistic Jaccard similarity	1