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

Article	Citations
Proof Systems for Super- Strict Implication	10
Two Maximality Results for the Lattice of Extensions of $$\vdash _{\mathbf {RM}}$$	9
Propositional Type Theory of Indeterminacy	7
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth	7
Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology	7
Decidability of Lattice Equations	6
Free Constructions in Hoops via $$\ell $$-Groups	5
A Logic of Knowledge and Justifications, with an Application to Computational Trust	5
Profinite Locally Finite Quasivarieties	5
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic	5
On Independent Axiomatizability of Quasi-Normal Modal Logics	4
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$	4
On Woodruff’s Constructive Nonsense Logic	4
Solving the Decision Problem of Group Achievement Stit Logics with Refref Equivalence	4
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics	4
Quineanism, Noneism and Metaphysical Equivalence	4
On Cut-Elimination Arguments for Axiomatic Theories of Truth	3
Ultrafilter Extensions of Bounded Graphs are Elementary	3
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$	3
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics	3
Ulam-Rényi Games, MV-Algebras, Specker $$\ell $$-Groups	3
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains	3
Systems for Non-Reflexive Consequence	3
On Extracting Variable Herbrand Disjunctions	3
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator	3

Jaśkowski and the Jains	2
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 (	2
Loop-Check Specification for a Sequent Calculus of Temporal Logic	2
A Natural Semantics for the Pullback of Fiber Bundles of Structures	2
Situation-Based Connexive Logic	2
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.	2
Substitutional Quantification in Truth-Theories for Modal Languages	2
The Sum Relation as a Primitive Concept of Mereology	2
Generalized Explosion Principles	2
Enriched Quantales Arising from Complete Orthomodular Lattices	2
An Axiomatic System for Concessive Conditionals	2
On Pretabular Extensions of Relevance Logic	2
Correction to: A Modal View on Resource-Bounded Propositional Logics	2
Editorial Introduction	2
Alpha-Structures and Ladders in Logical Geometry	2
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics	2
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics	2
Euclid Machines	2
From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic	2
Variations on the Calculi $$C_n$$ of da Costa	2
The Calculus of Natural Calculation	2
Topological Classes of MV-Algebras	2
Book Reviews	2
Distributive PBZ$$^{*}$$-lattices	2
Inside Classical Logic: Truth, Contradictions, Fractionality	2
Categoricity Problem for LP and K3	2
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity	2
A Model Theory of Topology	2
Boolean Connexive Logic and Content Relationship	2
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology	2
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions	2
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices	2
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics	2
Notes on Models of (Partial) Kripke–Feferman Truth	1
Semantical Analysis of the Logic of Bunched Implications	1
The Elimination of Direct Self-reference	1
Sequent Calculi for the Propositional Logic of HYPE	1
Very True Operators on Pre-semi-Nelson Algebras	1
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality	1
Alessandro Giordani, Jacek Malinowski, Hyperintensionality and Fine grained Semantics. Logic in High Definition: Trends in Logical Semantics, vol. 56 of Trends in Logic, Springer, 2020, pp. 243+v; ISB	1
Finite Hilbert Systems for Weak Kleene Logics	1
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives	1
Williamson’s Abductive Case for the Material Conditional Account	1
Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras	1
On a First-Order Bi-Sorted Semantically Closed Language	1
Heyting Algebras with Kalman-Galois Connections	1
Correction to: Alessandro Giordani, Jacek Malinowski, Hyperintensionality and Fine-grained Semantics. Logic in High Definition: Trends in Logical Semantics, vol. 56 of Trends in Logic, Springer, 2020,	1
Topic-Based Communication Between Agents	1
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic	1
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors	1

A New Representation of Finite Hoops Using a New Type of Product of Structures	1
Sub-Hilbert Lattices	1
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras	1
Paraconsistency in Non-Fregean Framework	1
Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion	1
Group Representation for Even and Odd Involutive Commutative Residuated Chains	1
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time	1
On Weak Lewis Distributive Lattices	1
Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$.	1
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic	1
A Version of Predicate Logic with Two Variables That has an Incompleteness Property	1
Translations and Prawitz’s Ecumenical System	1
Infinitary Action Logic with Multiplexing	1
Two Decision Procedures for da Costa’s $$C_n$$ Logics Based on Restricted Nmatrix Semantics	1
A Generalization of Monadic n-Valued Łukasiewicz Algebras	1
Valuation Semantics for S4	1
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem	1
A Categorical Equivalence for Tense Nelson Algebras	1
Quantale Valued Sets: Categorical Constructions and Properties	1
A Lindström Theorem for the Hybrid Logic $$\mathcal {H}(\exists )$$	1
Probability-Based Contraction	1
An $$\omega $$-Rule for the Logic of Provability and Its Models	1