OOIR: Observatory of International Research

Papers

(The median citation count 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 2022-08-01 to 2026-08-01.)

Article	Citations
Propositional Type Theory of Indeterminacy	19
Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology	14
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth	12
Essence and Accident Modalities Meet Belnapian Truth Values	10
Proof Systems for Super- Strict Implication	8
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic	7
Quineanism, Noneism and Metaphysical Equivalence	7
A Logic of Knowledge and Justifications, with an Application to Computational Trust	6
Solving the Decision Problem of Group Achievement Stit Logics with Refref Equivalence	6
Some Results in Non-monotonic Proof-Theoretic Semantics	6
A 1996 Debate with Nuel Belnap on the Thin Red Line	6
Decidability of Lattice Equations	6
Free Constructions in Hoops via $$\ell $$-Groups	6
Profinite Locally Finite Quasivarieties	6
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator	5
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$	5
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics	5
Goldblatt-Thomason Theorems for Inflationary Intuitionistic Logic	5
Ulam-Rényi Games, MV-Algebras, Specker $$\ell $$-Groups	5
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$	5
Systems for Non-Reflexive Consequence	4
Euclid Machines	4
Boolean Connexive Logic and Content Relationship	4
Ultrafilter Extensions of Bounded Graphs are Elementary	4
Substitutional Quantification in Truth-Theories for Modal Languages	4

A Model Theory of Topology	4
On Woodruff’s Constructive Nonsense Logic	4
From First-Order Self-Extensional Paradefinite Four-Valued Logic to First-Order Classical Logic	4
On Various Translations Between Classical, Intuitionistic, and Linear Logic	4
Alpha-Structures and Ladders in Logical Geometry	3
Arithmetical Completeness for Some Extensions of the Pure Logic of Necessitation	3
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics	3
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics	3
Distributive PBZ$$^{*}$$-lattices	3
Inside Classical Logic: Truth, Contradictions, Fractionality	3
Jaśkowski and the Jains	3
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity	3
Generalized Explosion Principles	3
Branching Space-Time, the Open Future, and Modal Realism	3
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology	3
The Sum Relation as a Primitive Concept of Mereology	3
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	3
Loop-Check Specification for a Sequent Calculus of Temporal Logic	3
An Axiomatic System for Concessive Conditionals	3
Equivalence of Finite Non-deterministic Logical Matrices is Undecidable	3
Variations on the Calculi $$C_n$$ of da Costa	3
A Natural Semantics for the Pullback of Fiber Bundles of Structures	3
Situation-Based Connexive Logic	3
From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic	3
Categoricity Problem for LP and K3	3
On Pretabular Extensions of Relevance Logic	3
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics	3
Topological Classes of MV-Algebras	3
Editorial Introduction	3
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality	2
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices	2
Valuation Semantics for S4	2
Classification and Deontic Explosion for Contrary-to-Duty Obligations	2
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	2
Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa	2
The Elimination of Direct Self-reference	2
Semantical Analysis of the Logic of Bunched Implications	2
Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment	2
Four Goodbyes: Memories of Professor Ryszard Wójcicki	2
Split Interpolation Refining Craig’s Theorem via Three-Valued Logics	2
Obituary	2
Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$.	2
A Version of Predicate Logic with Two Variables That has an Incompleteness Property	2
Translations and Prawitz’s Ecumenical System	2
An $$\omega $$-Rule for the Logic of Provability and Its Models	2
Non-Bivalent Validity	2
Enriched Quantales Arising from Complete Orthomodular Lattices	2
Finite Hilbert Systems for Weak Kleene Logics	2
Sub-Hilbert Lattices	2
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic	2

Paraconsistency in Non-Fregean Framework	2
Abelian Logic on the Bochum Plan (and the American Plan as Well)	2
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors	2
On Modal Companions of Logics with Strong Negation	1
A New Representation of Finite Hoops Using a New Type of Product of Structures	1
A Proof-Theoretic Completeness Proof for Propositional Classical Core Logic	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
Proof Theory for Extended Belnap–Dunn and Intuitionistic Logics	1
Hilbert Algebras with Hilbert–Galois Connections	1
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals	1
A General Formalised Framework for Reasoning About Display Calculi	1
On Weak Lewis Distributive Lattices	1
Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-8	1
Good sequences without subdirect representation: a constructive treatment of Mundici’s $${{\,\mathrm{\mathbf {\Gamma }}\,}}$$ functor	1
On a First-Order Bi-Sorted Semantically Closed Language	1
Probability-Based Contraction	1
Four Imprints of Belnap’s Useful Four-Valued Logic in Computer Science	1
A Proof-Theoretic Note on the Independence of Intuitionistic Connectives	1
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic	1
Wright’s First-Order Logic of Strict Finitism	1
Williamson’s Abductive Case for the Material Conditional Account	1
Discrete Duality for Nelson Algebras with Tense Operators	1
Heyting Algebras with Kalman-Galois Connections	1
Intuitionistic Modal Algebras	1
Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras	1
A Unified Relational Semantics for BPL, IPL and OL: Axiomatization Without Disjunction	1
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022, pp. 221+x; ISBN: 978-3-031-04296-6 (Hardcover) 106.99€, ISBN: 978-3-031-04	1
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time	1
A Lindström Theorem for the Hybrid Logic $$\mathcal {H}(\exists )$$	1
Ian Pratt-Hartmann, Fragments of First-Order Logic, vol. 56 of Oxford Logic Guides, Oxford University Press, 2023, pp. 672; ISBN: 978-0192867964 (Hardback) £127.50.	1
Boffa’s construction and models for NFU	1
Infinitary Action Logic with Multiplexing	1
A Simple Way to Overcome Hyperconnexivity	1
Notes on Models of (Partial) Kripke–Feferman Truth	1
Dummett’s Theory of Truth as a Source of Connexivity	1
Quasivarieties of p-Algebras: Some New Results	1
On Actions and Split Extensions in Varieties of Hoops: The Case of Strong Section	1
Intuitionistic Logic is a Connexive Logic	1
Orthomodular and Unsharp Orthomodular Lattices: A Categorical Equivalence	1
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts	1
Quantale Valued Sets: Categorical Constructions and Properties	1
Semantics of Computable Physical Models	1
Two Types of Filtrations for $${\textsc {wK4}}$$ and Its Relatives	1
Quad Rings, Quad Algebras and a 4-valued Logic	1
Topic-Based Communication Between Agents	1
Constructive Validity of a Generalized Kreisel–Putnam Rule	1
Very True Operators on Pre-semi-Nelson Algebras	1