OOIR: Observatory of International Research

Papers

(The TQCC of Studia Logica is 2. 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
Propositional Type Theory of Indeterminacy	18
Proof Systems for Super- Strict Implication	13
Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology	12
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth	9
Quineanism, Noneism and Metaphysical Equivalence	8
Decidability of Lattice Equations	7
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic	6
Some Results in Non-monotonic Proof-Theoretic Semantics	6
Free Constructions in Hoops via $$\ell $$-Groups	6
A 1996 Debate with Nuel Belnap on the Thin Red Line	5
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$	5
A Logic of Knowledge and Justifications, with an Application to Computational Trust	5
Profinite Locally Finite Quasivarieties	5
Solving the Decision Problem of Group Achievement Stit Logics with Refref Equivalence	5
Goldblatt-Thomason Theorems for Inflationary Intuitionistic Logic	5
Ulam-Rényi Games, MV-Algebras, Specker $$\ell $$-Groups	4
On Woodruff’s Constructive Nonsense Logic	4
Ultrafilter Extensions of Bounded Graphs are Elementary	4
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$	4
From First-Order Self-Extensional Paradefinite Four-Valued Logic to First-Order Classical Logic	4
Systems for Non-Reflexive Consequence	4
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics	4
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator	4
Substitutional Quantification in Truth-Theories for Modal Languages	4
Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp.	3

A Natural Semantics for the Pullback of Fiber Bundles of Structures	3
From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic	3
Euclid Machines	3
Alpha-Structures and Ladders in Logical Geometry	3
Generalized Explosion Principles	3
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics	3
Inside Classical Logic: Truth, Contradictions, Fractionality	3
Situation-Based Connexive Logic	3
Boolean Connexive Logic and Content Relationship	3
Branching Space-Time, the Open Future, and Modal Realism	3
Beishui Liao, Thomas Ågotnes, Yi N. Wang, (eds.), Dynamics, Uncertainty and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer, Singapore, 2019, pp. 207+xii; ISBN: 978-981-13-7793-8 (	3
The Sum Relation as a Primitive Concept of Mereology	3
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity	3
Distributive PBZ$$^{*}$$-lattices	3
Editorial Introduction	3
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics	3
A Model Theory of Topology	3
Arithmetical Completeness for Some Extensions of the Pure Logic of Necessitation	3
Variations on the Calculi $$C_n$$ of da Costa	3
Categoricity Problem for LP and K3	3
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology	3
Equivalence of Finite Non-deterministic Logical Matrices is Undecidable	2
Finite Hilbert Systems for Weak Kleene Logics	2
Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment	2
Obituary	2
Topological Classes of MV-Algebras	2
An Axiomatic System for Concessive Conditionals	2
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics	2
Four Goodbyes: Memories of Professor Ryszard Wójcicki	2
Enriched Quantales Arising from Complete Orthomodular Lattices	2
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices	2
Valuation Semantics for S4	2
Loop-Check Specification for a Sequent Calculus of Temporal Logic	2
Edwin Mares, Logic and Information, series: Elements in Philosophy and Logic, Cambridge University Press, 2024, pp. 82; DOI: 10.1017/9781009466745; ISBN: 978-1-009-46675-2 (Hardback) €64.19, 978-1-009	2
Jaśkowski and the Jains	2
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality	2
Non-Bivalent Validity	2
Sub-Hilbert Lattices	2
On Pretabular Extensions of Relevance Logic	2
Split Interpolation Refining Craig’s Theorem via Three-Valued Logics	2