OOIR: Observatory of International Research

Papers

(The TQCC of Studia Logica 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-03-01 to 2025-03-01.)

Article	Citations
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences	15
Interpolation Properties for the Bimodal Provability Logic $$\textbf{GR}$$	9
Jaśkowski and the Jains	7
The Elimination of Maximum Cuts in Linear Logic and BCK Logic	7
An Axiomatic System for Concessive Conditionals	7
On Weak Lewis Distributive Lattices	6
The G4i Analogue of a G3i Sequent Calculus	6
Propositional Type Theory of Indeterminacy	6
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth	5
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics	5
Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology	4
From Semantic Games to Provability: The Case of Gödel Logic	4
The McKinsey Axiom on Weakly Transitive Frames	4
An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics	4
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds	4
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures	4
On Groupoids of Relations with One Conjunctive Operation of Rank 2	4
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic	4
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D	3
Three Ways of Being Non-Material	3
Book Reviews	3
On a First-Order Bi-Sorted Semantically Closed Language	3
Variable Domain First-Order First-Degree Entailment and Some of Its Children	3
Proof Systems for Super- Strict Implication	3
Two Maximality Results for the Lattice of Extensions of $$\vdash _{\mathbf {RM}}$$	2

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation	2
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups	2
Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 9	2
On Geometric Implications	2
Free Constructions in Hoops via $$\ell $$-Groups	2
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality	2
Intuitionistic Public Announcement Logic with Distributed Knowledge	2
On the Proof Theory of Infinitary Modal Logic	2
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$	2
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics	2
Obituary	2
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time	2
Valuation Semantics for S4	2
Representability of Kleene Posets and Kleene Lattices	2
Intuitionistic Propositional Logic with Galois Negations	2
Neighbourhood Semantics for FDE-Based Modal Logics	2
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics	2
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains	2
Sets with Dependent Elements: A Formalization of Castoriadis’ Notion of Magma	2
Profinite Locally Finite Quasivarieties	2
Frobenius Quantales, Serre Quantales and the Riemann–Roch Theorem	2
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics	2
Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1	1
Discrete Duality for Nelson Algebras with Tense Operators	1
Curry–Howard–Lambek Correspondence for Intuitionistic Belief	1
Wright’s First-Order Logic of Strict Finitism	1
Enriched Quantales Arising from Complete Orthomodular Lattices	1
Quantale Valued Sets: Categorical Constructions and Properties	1
The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation	1
Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras	1
Connexive Negation	1
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness	1
Bayesian Belief Revision Based on Agent’s Criteria	1
Algebraic Semantics for a Mixed Type Fragment of IPC	1
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics	1
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension	1
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs	1
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic	1
Some Observations on the FGH Theorem	1
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic	1
Hyper-MacNeille Completions of Heyting Algebras	1
Categorical Proof-theoretic Semantics	1
Executability and Connexivity in an Interpretation of Griss	1
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors	1
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic	1
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives	1
Dummett’s Theory of Truth as a Source of Connexivity	1
More Limits of Abductivism About Logic	1
The Calculus of Natural Calculation	1
Decidability of Lattice Equations	1

Splittings in Subreducts of Hoops	1
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices	1
Sub-Hilbert Lattices	1
A Logic of Knowledge and Justifications, with an Application to Computational Trust	1
Finite Hilbert Systems for Weak Kleene Logics	1
An Analysis of Poly-connexivity	1
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem	1
On Heyting Algebras with Negative Tense Operators	1
Mathematical Structures Within Simple Type Theory	1
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics	1
Translations and Prawitz’s Ecumenical System	1
Quineanism, Noneism and Metaphysical Equivalence	1
Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator	1