Studia Logica

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
Free Constructions in Hoops via $$\ell $$-Groups	6
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic	6
Some Results in Non-monotonic Proof-Theoretic Semantics	6
Solving the Decision Problem of Group Achievement Stit Logics with Refref Equivalence	5
Goldblatt-Thomason Theorems for Inflationary Intuitionistic Logic	5
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
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
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
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
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
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
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
On a First-Order Bi-Sorted Semantically Closed Language	1
An $$\omega $$-Rule for the Logic of Provability and Its Models	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
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
On Modal Companions of Logics with Strong Negation	1
Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa	1
Discrete Duality for Nelson Algebras with Tense Operators	1
A Proof-Theoretic Completeness Proof for Propositional Classical Core Logic	1
Good sequences without subdirect representation: a constructive treatment of Mundici’s $${{\,\mathrm{\mathbf {\Gamma }}\,}}$$ functor	1
A Lindström Theorem for the Hybrid Logic $$\mathcal {H}(\exists )$$	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
Heyting Algebras with Kalman-Galois Connections	1
A New Representation of Finite Hoops Using a New Type of Product of Structures	1
Paraconsistency in Non-Fregean Framework	1
A Version of Predicate Logic with Two Variables That has an Incompleteness Property	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
Semantical Analysis of the Logic of Bunched Implications	1
Constructive Validity of a Generalized Kreisel–Putnam Rule	1
Translations and Prawitz’s Ecumenical System	1
A Proof-Theoretic Note on the Independence of Intuitionistic Connectives	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
Wright’s First-Order Logic of Strict Finitism	1
Dummett’s Theory of Truth as a Source of Connexivity	1
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time	1
Proof Theory for Extended Belnap–Dunn and Intuitionistic Logics	1
Very True Operators on Pre-semi-Nelson Algebras	1
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic	1
Williamson’s Abductive Case for the Material Conditional Account	1
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors	1
Abelian Logic on the Bochum Plan (and the American Plan as Well)	1
Quad Rings, Quad Algebras and a 4-valued Logic	1
Semantics of Computable Physical Models	1
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic	1
Boffa’s construction and models for NFU	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
Intuitionistic Logic is a Connexive Logic	1
On Weak Lewis Distributive Lattices	1
A Simple Way to Overcome Hyperconnexivity	1
Two Types of Filtrations for $${\textsc {wK4}}$$ and Its Relatives	1
Quantale Valued Sets: Categorical Constructions and Properties	1
Infinitary Action Logic with Multiplexing	1
Notes on Models of (Partial) Kripke–Feferman Truth	1
Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras	1
Probability-Based Contraction	1
Quasivarieties of p-Algebras: Some New Results	1
The Elimination of Direct Self-reference	1
Intuitionistic Public Announcement Logic with Distributed Knowledge	0
Proof-theoretic Semantics for the Logic of Bunched Implications	0
Selective Contraction	0
Generalized Epstein Semantics for Parry Systems	0
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics	0
Craig Interpolation for a Semi-Substructural Logic	0
Modal Companions of $$K4^{+}$$	0
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-1	0
Categorical Proof-theoretic Semantics	0
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics	0
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D	0
Axiomatizing a Minimal Discussive Logic	0
Ramsey Conditionals in Dynamic Relevant Logic	0
Reduced Sequents in Modal Display Calculi	0
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences	0
More Limits of Abductivism About Logic	0
An Intermediate Logic Contained in Medvedev’s Logic with the Disjunction Property	0
Nested Indirect Proofs in Aristotle’s Deductive Logic	0
An Algebraic Investigation of the Connexive Logic $$\textsf{C}$$	0
A General Formalised Framework for Reasoning About Display Calculi	0
On the Implicative Subreducts of RWH-Algebras	0
Some New Three-valued Paraconsistent Logics	0
On a Generalization of Heyting Algebras I	0
Relative Consistency of a Finite Nonclassical Theory Incorporating ZF and Category Theory with ZF	0
On Heyting Algebras with Negative Tense Operators	0
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic	0
Four Imprints of Belnap’s Useful Four-Valued Logic in Computer Science	0
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness	0
Quantum Interpretation of Semantic Paradox: Contextuality and Superposition	0
Higher-Level Paradoxes and Substructural Solutions	0
Tense Operators on Distributive Lattices with Implication	0
Heyting $$\kappa $$-Frames	0
Finite Model Property in Weakly Transitive Tense Logics	0
A Topological Duality for Tense MV-Algebras	0
From Contact Relations to Modal Operators, and Back	0
Variations on the Kripke Trick	0
Intuitionistic Propositional Logic with Galois Negations	0
Connexivity in the Logic of Reasons	0
Algebraic Semantics for a Mixed Type Fragment of IPC	0
On First-Order Pure Relevance Logics	0
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic	0
Interpolation Properties for the Bimodal Provability Logic $$\textbf{GR}$$	0
G3-Style Sequent Calculi and Craig Interpolation Property for Logics with Russellian Definite Descriptions	0

$$\varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics	0
Splittings and Finite Basis Theorems	0
Amalgamation in Semilinear Residuated Lattices	0
Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics	0
Sets with Dependent Elements: A Formalization of Castoriadis’ Notion of Magma	0
From Jaśkowski’s Discussive Logic to Contemporary Paraconsistent Systems	0
Editorial Introduction	0
Difference-Making Conditionals and Connexivity	0
Executability and Connexivity in an Interpretation of Griss	0
De Morgan-Płonka Sums	0
RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I)	0
The McKinsey Axiom on Weakly Transitive Frames	0
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics	0
Dynamic Logics of Diffusion and Link Changes on Social Networks	0
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic	0
Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic	0
Canonical Completion and Duality for Cylindric Ortholattices and Cylindric Boolean Algebras	0
Local Quantum Field Logic	0
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.99	0
Intuitionistic Modal Logics: A Minimal Setting	0
A Unified Relational Semantics for BPL, IPL and OL: Axiomatization Without Disjunction	0
On Relative Principal Congruences in Term Quasivarieties	0
Stalnakerian Connexive Logics	0
Carl J. Posy, Mathematical Intuitionism, part of series: Cambridge Elements in the Philosophy of Mathematics, Cambridge University Press, 2020; 10.1017/9781108674485.	0
Intuitionistic Modal Algebras	0
Contemporary Logic in Brazil – Proceedings of the XX Encontro Brasileiro de Lógica	0
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals	0
The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation	0
On Geometric Implications	0
Logic Families	0
Hybrid Logic of the Hide and Seek Game	0
Connexive Negation	0
QUARC and Classical Logic	0
The Elimination of Maximum Cuts in Linear Logic and BCK Logic	0
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in $$\text {NExtK4.3}$$	0
Mathematical Structures Within Simple Type Theory	0
Belnap and the Uniqueness of Negation	0
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains	0
On the Proof Theory of Infinitary Modal Logic	0
Topic-Fragmented Belief and Doxastic Necessity	0
Ecumenical Propositional Tableau	0
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation	0
Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator	0
A Generalization of Beall’s Off-Topic Interpretation	0
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures	0
Variable Domain First-Order First-Degree Entailment and Some of Its Children	0
Proof-Theoretic Functional Completeness for the Connexive Logic C	0
Logics of Order and Related Notions	0
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension	0
A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic	0
Linear L-Algebras and Prime Factorization	0
Representability of Kleene Posets and Kleene Lattices	0
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs	0
No Choice, No History	0
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, pp	0
Failures of $$\gamma $$	0
Some Observations on the FGH Theorem	0
Modal Logic with “Most”	0
The Algebraic Semantics for the One-Variable Monadic Fragment of the Predicate Logic $${\mathcal G}\forall _\sim $$	0
An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics	0
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts	0
Juliet Floyd, Wittgenstein’s Philosophy of Mathematics, Cambridge University Press, 2021. pp. 96; DOI: 10.1017/9781108687126; ISBN: 1108456308 (Paperback) €21.	0
Equivalence of Lewis’ Two Kinds of Conditional Logic Systems	0
A Simple Logic of the Hide and Seek Game	0
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
Proof Theory for Tight Apartness	0
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
Decidability of Inquisitive Modal Logic via Filtrations	0
Hilbert Algebras with Hilbert–Galois Connections	0
RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa–Sikorski Lemma in Arithmetic (II)	0
Orthomodular and Unsharp Orthomodular Lattices: A Categorical Equivalence	0
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs	0
Natural Deduction Systems for Intuitionistic Logic with Identity	0
Cut-free Sequent Calculi for Wansing’s Expansions of Nelson’s Logics	0
The Logic ILP for Intuitionistic Reasoning About Probability	0
Angell and McCall Meet Wansing	0
Fraïssé Limit and Ramsey Theorem: The Case of MV-Algebras and a Categorical Generalization	0
Knowledge After the Fact in Indeterminist Tense Logic	0
On a Generalization of all Strong Kleene Generalizations of Classical Logic	0
A Model of Connexive Set Theory	0
Densification in Classes of Involutive Commutative Residuated Lattices	0
Gently Paraconsistent Extensions of $$C_1$$, Intuitionistic Implication, De Morgan Laws, and the Law of Non-contradiction	0
The G4i Analogue of a G3i Sequent Calculus	0
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces	0
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic	0