Studia Logica

Papers
(The median citation count of Studia Logica is 0. 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-08-01 to 2025-08-01.)
ArticleCitations
Proof Systems for Super- Strict Implication11
Two Maximality Results for the Lattice of Extensions of $$\vdash _{\mathbf {RM}}$$10
Propositional Type Theory of Indeterminacy9
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth8
Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology8
Decidability of Lattice Equations7
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic6
Profinite Locally Finite Quasivarieties5
Free Constructions in Hoops via $$\ell $$-Groups5
A Logic of Knowledge and Justifications, with an Application to Computational Trust5
Some Results in Non-monotonic Proof-Theoretic Semantics4
Solving the Decision Problem of Group Achievement Stit Logics with Refref Equivalence4
On Independent Axiomatizability of Quasi-Normal Modal Logics4
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$4
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics4
Quineanism, Noneism and Metaphysical Equivalence4
On Woodruff’s Constructive Nonsense Logic4
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator3
On Cut-Elimination Arguments for Axiomatic Theories of Truth3
On Extracting Variable Herbrand Disjunctions3
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains3
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics3
Ulam-Rényi Games, MV-Algebras, Specker $$\ell $$-Groups3
Systems for Non-Reflexive Consequence3
Ultrafilter Extensions of Bounded Graphs are Elementary3
Situation-Based Connexive Logic2
Euclid Machines2
From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic2
A Model Theory of Topology2
Editorial Introduction2
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-0092
Distributive PBZ$$^{*}$$-lattices2
Inside Classical Logic: Truth, Contradictions, Fractionality2
Alpha-Structures and Ladders in Logical Geometry2
The Sum Relation as a Primitive Concept of Mereology2
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics2
Boolean Connexive Logic and Content Relationship2
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$2
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions2
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity2
Book Reviews2
On Pretabular Extensions of Relevance Logic2
Generalized Explosion Principles2
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
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics2
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 Languages2
Categoricity Problem for LP and K32
A Natural Semantics for the Pullback of Fiber Bundles of Structures2
An Axiomatic System for Concessive Conditionals2
Loop-Check Specification for a Sequent Calculus of Temporal Logic2
Correction to: A Modal View on Resource-Bounded Propositional Logics2
Variations on the Calculi $$C_n$$ of da Costa2
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology2
A Generalization of Monadic n-Valued Łukasiewicz Algebras1
Valuation Semantics for S41
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices1
Semantical Analysis of the Logic of Bunched Implications1
Williamson’s Abductive Case for the Material Conditional Account1
Infinitary Action Logic with Multiplexing1
Group Representation for Even and Odd Involutive Commutative Residuated Chains1
Topic-Based Communication Between Agents1
A Version of Predicate Logic with Two Variables That has an Incompleteness Property1
The Elimination of Direct Self-reference1
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras1
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives1
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
Finite Hilbert Systems for Weak Kleene Logics1
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics1
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality1
Quasivarieties of p-Algebras: Some New Results1
Sequent Calculi for the Propositional Logic of HYPE1
A Categorical Equivalence for Tense Nelson Algebras1
Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa1
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
Translations and Prawitz’s Ecumenical System1
Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion1
Obituary1
Sub-Hilbert Lattices1
Jaśkowski and the Jains1
Enriched Quantales Arising from Complete Orthomodular Lattices1
Topological Classes of MV-Algebras1
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic1
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors1
A New Representation of Finite Hoops Using a New Type of Product of Structures1
Two Decision Procedures for da Costa’s $$C_n$$ Logics Based on Restricted Nmatrix Semantics1
Paraconsistency in Non-Fregean Framework1
An $$\omega $$-Rule for the Logic of Provability and Its Models1
Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$.1
A Simple Way to Overcome Hyperconnexivity0
Failures of $$\gamma $$0
The McKinsey Axiom on Weakly Transitive Frames0
On the Proof Theory of Infinitary Modal Logic0
Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras0
On Geometric Implications0
Executability and Connexivity in an Interpretation of Griss0
Contact Join-semilattices0
Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator0
Sets with Dependent Elements: A Formalization of Castoriadis’ Notion of Magma0
Connexivity in the Logic of Reasons0
Orthomodular and Unsharp Orthomodular Lattices: A Categorical Equivalence0
On Weak Lewis Distributive Lattices0
Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter0
Knowledge After the Fact in Indeterminist Tense Logic0
Categorical Proof-theoretic Semantics0
Nils Kürbis, Proof and Falsity: A Logical Investigation, Cambridge University Press, 2019, pp. 316; ISBN: 978-110-87-1672-7 (Softcover)£24.99, ISBN: 978-110-84-8130-4 (Hardcover)£78.99, ISBN: 978-110-0
Probability-Based Contraction0
Dynamic Logics of Diffusion and Link Changes on Social Networks0
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs0
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains0
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-80
Notes on Models of (Partial) Kripke–Feferman Truth0
Craig Interpolation for a Semi-Substructural Logic0
On a Generalization of Heyting Algebras I0
Logic Families0
Discrete Duality for Nelson Algebras with Tense Operators0
A Proof-Theoretic Completeness Proof for Propositional Classical Core Logic0
Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic0
From Jaśkowski’s Discussive Logic to Contemporary Paraconsistent Systems0
Hilbert Algebras with Hilbert–Galois Connections0
Higher-Level Paradoxes and Substructural Solutions0
RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I)0
A Generalization of Beall’s Off-Topic Interpretation0
Equivalence of Lewis’ Two Kinds of Conditional Logic Systems0
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs0
Connexive Negation0
Ecumenical Propositional Tableau0
More Limits of Abductivism About Logic0
Algebraic Semantics for a Mixed Type Fragment of IPC0
The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation0
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics0
An Algebraic Investigation of the Connexive Logic $$\textsf{C}$$0
The Elimination of Maximum Cuts in Linear Logic and BCK Logic0
On Heyting Algebras with Negative Tense Operators0
Natural Deduction Systems for Intuitionistic Logic with Identity0
Variable Domain First-Order First-Degree Entailment and Some of Its Children0
Wright’s First-Order Logic of Strict Finitism0
An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics0
Axiomatizing a Minimal Discussive Logic0
The G4i Analogue of a G3i Sequent Calculus0
Heyting Algebras with Kalman-Galois Connections0
On Groupoids of Relations with One Conjunctive Operation of Rank 20
A Semantics for Hyperintensional Belief Revision Based on Information Bases0
Interpolation Properties for the Bimodal Provability Logic $$\textbf{GR}$$0
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time0
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds0
Generalized Epstein Semantics for Parry Systems0
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic0
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic0
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures0
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation0
Intuitionistic Modal Algebras0
A Lindström Theorem for the Hybrid Logic $$\mathcal {H}(\exists )$$0
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds0
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-10
Finite Model Property in Weakly Transitive Tense Logics0
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts0
Very True Operators on Pre-semi-Nelson Algebras0
Stefania Centrone, Deborah Kant, Deniz Serikaya, Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts, vol. 407 of Synthese Library, Springer, 2019, pp0
$$\varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics0
A Characterization of Probability-based Dichotomous Belief Revision0
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-040
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.0
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics0
Difference-Making Conditionals and Connexivity0
Contemporary Logic in Brazil – Proceedings of the XX Encontro Brasileiro de Lógica0
Decidability of Inquisitive Modal Logic via Filtrations0
Intuitionistic Logic is a Connexive Logic0
A Simple Logic of the Hide and Seek Game0
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic0
Intuitionistic Propositional Logic with Galois Negations0
A Unified Relational Semantics for BPL, IPL and OL: Axiomatization Without Disjunction0
Linear L-Algebras and Prime Factorization0
Densification in Classes of Involutive Commutative Residuated Lattices0
Matthias Wille, Fraenkel. Mengen bilden, Springer Spektrum, Berlin, 2023, pp. xii+232; ISBN: 978-3-662-66166-6 (Hardback) €69.99, ISBN 978-3-662-66167-3 (eBook) €54.990
Mathematical Structures Within Simple Type Theory0
$$\mathrm {ZF}$$ Between Classicality and Non-classicality0
On First-Order Pure Relevance Logics0
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic0
Fraïssé Limit and Ramsey Theorem: The Case of MV-Algebras and a Categorical Generalization0
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences0
Obituary0
The Logic ILP for Intuitionistic Reasoning About Probability0
An Analysis of Poly-connexivity0
Variations on the Kripke Trick0
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics0
Dummett’s Theory of Truth as a Source of Connexivity0
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$0
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness0
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic0
Quantale Valued Sets: Categorical Constructions and Properties0
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups0
Some Observations on the FGH Theorem0
On a Generalization of all Strong Kleene Generalizations of Classical Logic0
Boffa’s construction and models for NFU0
A Model of Connexive Set Theory0
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension0
Hybrid Logic of the Hide and Seek Game0
Twist Structures and Nelson Conuclei0
Local Quantum Field Logic0
From Semantic Games to Provability: The Case of Gödel Logic0
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in $$\text {NExtK4.3}$$0
Splittings in Subreducts of Hoops0
On a First-Order Bi-Sorted Semantically Closed Language0
Modal Logic with “Most”0
Heyting $$\kappa $$-Frames0
Gently Paraconsistent Extensions of $$C_1$$, Intuitionistic Implication, De Morgan Laws, and the Law of Non-contradiction0
Semantics of Computable Physical Models0
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic0
Tense Operators on Distributive Lattices with Implication0
Sequent-Calculi for Metainferential Logics0
Quantum Interpretation of Semantic Paradox: Contextuality and Superposition0
Constructive Validity of a Generalized Kreisel–Putnam Rule0
Extending the Lambek Calculus with Classical Negation0
Modal Companions of $$K4^{+}$$0
On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics0
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics0
De Morgan-Płonka Sums0
On Relative Principal Congruences in Term Quasivarieties0
Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics0
Stalnakerian Connexive Logics0
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces0
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals0
Angell and McCall Meet Wansing0
Juliet Floyd, Wittgenstein’s Philosophy of Mathematics, Cambridge University Press, 2021. pp. 96; DOI: 10.1017/9781108687126; ISBN: 1108456308 (Paperback) €21.0
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic0
Urszula B. Wybraniec-Skardowska, Logic-Language-Ontology, Selected Works, Birkhäuser Cham, 2022, pp. 300+xiii; ISBN: 978-3-031-22329-7 (Hardcover) 139.09€, ISBN: 978-3-031-22332-7 (Softcover) 139.09€,0
From Contact Relations to Modal Operators, and Back0
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 90
A Modal View on Resource-Bounded Propositional Logics0
RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa–Sikorski Lemma in Arithmetic (II)0
Representability of Kleene Posets and Kleene Lattices0
Logics of Order and Related Notions0
Frobenius Quantales, Serre Quantales and the Riemann–Roch Theorem0
Generalizing Deontic Action Logic0
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D0
QUARC and Classical Logic0
Intuitionistic Public Announcement Logic with Distributed Knowledge0
0.060186862945557