Studia Logica

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-04-01 to 2025-04-01.)
ArticleCitations
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences15
Interpolation Properties for the Bimodal Provability Logic $$\textbf{GR}$$9
Jaśkowski and the Jains7
The Elimination of Maximum Cuts in Linear Logic and BCK Logic7
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation7
On the Proof Theory of Infinitary Modal Logic6
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics6
Two Maximality Results for the Lattice of Extensions of $$\vdash _{\mathbf {RM}}$$6
Intuitionistic Public Announcement Logic with Distributed Knowledge5
Intuitionistic Propositional Logic with Galois Negations5
On Weak Lewis Distributive Lattices4
The G4i Analogue of a G3i Sequent Calculus4
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures4
An Axiomatic System for Concessive Conditionals4
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics4
Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology4
Propositional Type Theory of Indeterminacy4
The McKinsey Axiom on Weakly Transitive Frames4
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth4
On Groupoids of Relations with One Conjunctive Operation of Rank 23
An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics3
From Semantic Games to Provability: The Case of Gödel Logic3
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D3
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic3
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics2
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 92
Proof Systems for Super- Strict Implication2
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains2
Neighbourhood Semantics for FDE-Based Modal Logics2
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time2
On Geometric Implications2
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality2
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups2
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$2
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds2
On a First-Order Bi-Sorted Semantically Closed Language2
Obituary2
Profinite Locally Finite Quasivarieties2
Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras2
Valuation Semantics for S42
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics2
Book Reviews2
Variable Domain First-Order First-Degree Entailment and Some of Its Children2
Three Ways of Being Non-Material2
Free Constructions in Hoops via $$\ell $$-Groups2
Representability of Kleene Posets and Kleene Lattices2
Frobenius Quantales, Serre Quantales and the Riemann–Roch Theorem2
Angell and McCall Meet Wansing1
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$1
Quineanism, Noneism and Metaphysical Equivalence1
A Simple Way to Overcome Hyperconnexivity1
Decidability of Lattice Equations1
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic1
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices1
Categorical Proof-theoretic Semantics1
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic1
The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation1
A Logic of Knowledge and Justifications, with an Application to Computational Trust1
Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$.1
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces1
Axiomatizing a Minimal Discussive Logic1
A Generalization of Monadic n-Valued Łukasiewicz Algebras1
Connexive Negation1
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem1
On Woodruff’s Constructive Nonsense Logic1
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-11
The Calculus of Natural Calculation1
Enriched Quantales Arising from Complete Orthomodular Lattices1
Quantale Valued Sets: Categorical Constructions and Properties1
Sets with Dependent Elements: A Formalization of Castoriadis’ Notion of Magma1
Executability and Connexivity in an Interpretation of Griss1
On Heyting Algebras with Negative Tense Operators1
On Cut-Elimination Arguments for Axiomatic Theories of Truth1
Tense Operators on Distributive Lattices with Implication1
Ulam-Rényi Games, MV-Algebras, Specker $$\ell $$-Groups1
On Independent Axiomatizability of Quasi-Normal Modal Logics1
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension1
Boffa’s construction and models for NFU1
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic1
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics1
Finite Hilbert Systems for Weak Kleene Logics1
An Analysis of Poly-connexivity1
Curry–Howard–Lambek Correspondence for Intuitionistic Belief1
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; ISB1
Systems for Non-Reflexive Consequence1
Constructive Validity of a Generalized Kreisel–Putnam Rule1
0.041324138641357