Studia Logica

Article	Citations
Three Ways of Being Non-Material	11
Positive Announcements	9
Containment Logics: Algebraic Completeness and Axiomatization	9
Free Logics are Cut-Free	8
The Poset of All Logics III: Finitely Presentable Logics	6
Incompleteness and the Halting Problem	5
Sequent-Calculi for Metainferential Logics	5
Two Decision Procedures for da Costa’s $$C_n$$ Logics Based on Restricted Nmatrix Semantics	5
Axiomatization of Crisp Gödel Modal Logic	5
The Entropy-Limit (Conjecture) for $$\Sigma _2$$-Premisses	5
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic	5
Group Representation for Even and Odd Involutive Commutative Residuated Chains	4
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT	4
Twist Structures and Nelson Conuclei	4
Non-classical Models of ZF	4
Poset Products as Relational Models	4
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics	4
Residuated Structures and Orthomodular Lattices	3
Intuitionistic Logic is a Connexive Logic	3
A Characterization of Probability-based Dichotomous Belief Revision	3
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives	3
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence	3
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices	3
Sequent Calculi for the Propositional Logic of HYPE	2
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals	2

Logic of Convex Order	2
$$\mathrm {ZF}$$ Between Classicality and Non-classicality	2
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic	2
Idempotent Variations on the Theme of Exclusive Disjunction	2
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics	2
Belnap–Dunn Modal Logic with Value Operators	2
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$	2
Contact Join-semilattices	2
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups	2
Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics	2
A Semantics for Hyperintensional Belief Revision Based on Information Bases	2
Inquisitive Heyting Algebras	2
Connexive Negation	2
A Cut-Elimination Proof in Positive Relevant Logic with Necessity	2
Lattices of Finitely Alternative Normal Tense Logics	2
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics	2
Relational Representation Theorems for Extended Contact Algebras	2
Positive Monotone Modal Logic	2
Infinitary Action Logic with Multiplexing	2
Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics	2
Endogenizing Epistemic Actions	2
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi	2
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces	2
A Few Notes on Quantum B-algebras	2
An Analysis of Poly-connexivity	2
Measuring Inconsistency in Some Logics with Modal Operators	2
Williamson’s Abductive Case for the Material Conditional Account	1
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds	1
A Categorical Equivalence for Tense Nelson Algebras	1
On the Proof Theory of Infinitary Modal Logic	1
Natural Deduction Systems for Intuitionistic Logic with Identity	1
A Simple Logic of the Hide and Seek Game	1
From Contact Relations to Modal Operators, and Back	1
Splittings in Subreducts of Hoops	1
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras	1
Sub-Hilbert Lattices	1
Frobenius Quantales, Serre Quantales and the Riemann–Roch Theorem	1
Book Reviews	1
An Axiomatic System for Concessive Conditionals	1
Intuitionistic Propositional Logic with Galois Negations	1
On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics	1
On Groupoids of Relations with One Conjunctive Operation of Rank 2	1
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions	1
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics	1
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic	1
Axiomatizing a Minimal Discussive Logic	1
Systems for Non-Reflexive Consequence	1
A Generalization of Monadic n-Valued Łukasiewicz Algebras	1
Decidability of Lattice Equations	1
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem	1

A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic	1
The G4i Analogue of a G3i Sequent Calculus	1
Intuitionistic Modal Algebras	1
A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication	1
On Inclusions Between Quantified Provability Logics	1
Lambek Calculus with Conjugates	1
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds	1
An Algebraic Investigation of the Connexive Logic $$\textsf{C}$$	1
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts	1
A Characteristic Frame for Positive Intuitionistic and Relevance Logic	1
On Independent Axiomatizability of Quasi-Normal Modal Logics	1
Tense Operators on Distributive Lattices with Implication	1
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem	1
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality	1
The Calculus of Natural Calculation	1
Proof Systems for Super- Strict Implication	1
From Semantic Games to Provability: The Case of Gödel Logic	1
Semantical Analysis of the Logic of Bunched Implications	0
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic	0
An Algebraic Study of S5-Modal Gödel Logic	0
An $$\omega $$-Rule for the Logic of Provability and Its Models	0
Categorical Proof-theoretic Semantics	0
Two Maximality Results for the Lattice of Extensions of $$\vdash _{\mathbf {RM}}$$	0
Semantics of Computable Physical Models	0
Executability and Connexivity in an Interpretation of Griss	0
Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic, Vol. 50, 2019, pp. 95+xv	0
Profinite Locally Finite Quasivarieties	0
Stalnakerian Connexive Logics	0
The Elimination of Direct Self-reference	0
On a Generalization of Heyting Algebras I	0
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics	0
A Simple Way to Overcome Hyperconnexivity	0
The Logic ILP for Intuitionistic Reasoning About Probability	0
Representability of Kleene Posets and Kleene Lattices	0
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics	0
Bayesian Belief Revision Based on Agent’s Criteria	0
A Modal View on Resource-Bounded Propositional Logics	0
Sets with Dependent Elements: A Formalization of Castoriadis’ Notion of Magma	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
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness	0
Correction to: Lambek Calculus with Conjugates	0
Propositional Type Theory of Indeterminacy	0
Situation-Based Connexive Logic	0
Book Reviews	0
Loop-Check Specification for a Sequent Calculus of Temporal Logic	0
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth	0
Ecumenical Propositional Tableau	0
Hyperintensionality and Fine-Grained Semantics	0
Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter	0
Jaśkowski and the Jains	0
Paraconsistency in Non-Fregean Framework	0
On Extracting Variable Herbrand Disjunctions	0
$$\varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics	0
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 9	0
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs	0
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic	0
Neighbourhood Semantics for FDE-Based Modal Logics	0
Logics of Order and Related Notions	0
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension	0
The Elimination of Maximum Cuts in Linear Logic and BCK Logic	0
Heyting $$\kappa $$-Frames	0
Finite Hilbert Systems for Weak Kleene Logics	0
On Relative Principal Congruences in Term Quasivarieties	0
Quineanism, Noneism and Metaphysical Equivalence	0
Boolean Connexive Logic and Content Relationship	0
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$	0
Difference-Making Conditionals and Connexivity	0
Curry–Howard–Lambek Correspondence for Intuitionistic Belief	0
Angell and McCall Meet Wansing	0
De Morgan-Płonka Sums	0
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic	0
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.	0
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs	0
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic	0
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics	0
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics	0
Some Observations on the FGH Theorem	0
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in $$\text {NExtK4.3}$$	0
Intuitionistic Public Announcement Logic with Distributed Knowledge	0
RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa–Sikorski Lemma in Arithmetic (II)	0

On Woodruff’s Constructive Nonsense Logic	0
Generalizing Deontic Action Logic	0
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D	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
Book Reviews	0
Extending the Lambek Calculus with Classical Negation	0
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains	0
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains	0
Categoricity Problem for LP and K3	0
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups	0
A Model Theory of Topology	0
On Cut-Elimination Arguments for Axiomatic Theories of Truth	0
A Generalization of Beall’s Off-Topic Interpretation	0
Games and Bisimulations for Intuitionistic First-Order Kripke Models	0
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	0
Valuation Semantics for S4	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
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time	0
Linear L-Algebras and Prime Factorization	0
On Geometric Implications	0
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	0
Very True Operators on Pre-semi-Nelson Algebras	0
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic	0
Connexivity in the Logic of Reasons	0
Hyper-MacNeille Completions of Heyting Algebras	0
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity	0
Finite Model Property in Weakly Transitive Tense Logics	0
On Pretabular Extensions of Relevance Logic	0
Obituary	0
Hilbert Algebras with Hilbert–Galois Connections	0
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics	0
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 (	0
On Weak Lewis Distributive Lattices	0
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology	0
Discrete Duality for Nelson Algebras with Tense Operators	0
Correction to: A Modal View on Resource-Bounded Propositional Logics	0
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences	0
Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion	0
On Heyting Algebras with Negative Tense Operators	0
Modal Companions of $$K4^{+}$$	0
On a First-Order Bi-Sorted Semantically Closed Language	0
Variations on the Kripke Trick	0
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator	0
Notes on Models of (Partial) Kripke–Feferman Truth	0
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation	0