567 Published articles
- RSS status: KO Do you know something about? Please contact us
- Last published: 6 days ago
Abstract Model Structures and Compactness Theorems
Published on 30 Oct 2026
On Distance Logics of Euclidean Spaces
Published on 28 Oct 2026
On the Connexive Acceptability of Omori and Kapsner’s Logic AM3: A Note
Published on 28 Oct 2026
Improving the Expressivity of Structural Type Theory
Published on 15 Oct 2026
Craig Interpolation of Indexed Tense Logics via Analytic Sequent Calculi
Published on 7 Oct 2026
The Evolution of $$\varvec{Studia} \,\,\varvec{Logica}$$
Published on 18 Sep 2026
Sequent Calculus for the Subintuitionistic Logic $$\mathsf{WF_{N_{2}}} $$
Published on 18 Sep 2026
-Algebras as -Algebras
Published on 12 Sep 2026
On Bochvar Algebras and Regular Double Stone Algebras
Published on 21 Aug 2026
Semantic Investigations of De Re Modal Logics of Terms
Published on 21 Aug 2026
On the Categoricity of Some Non-classical Logics
Published on 20 Aug 2026
Non-prioritized Kernel Revision
Published on 20 Aug 2026
Second-Order Monadic Modal Logic with Axioms as Rules
Published on 11 Aug 2026
How Case-Intensional Semantics Prevents the Slingshot from Hitting its Target
Published on 11 Aug 2026
Inception Display Calculi
Published on 8 Aug 2026
Editorial Introduction to the Special Issue of Dedicated to the Memory of Nuel Belnap
Published on 7 Aug 2026
Rough Indeterminacy in Non-Algebraizable Logics
Published on 3 Aug 2026
On a Generalization of Heyting Algebras II
Published on 31 Jul 2026
Spectrality and Avoidance Property for Proper Filters in Residuated Lattices
Published on 23 Jul 2026
On Various Translations Between Classical, Intuitionistic, and Linear Logic
Published on 21 Jul 2026
Essence and Accident Modalities Meet Belnapian Truth Values
Published on 15 Jul 2026
Compatibility and Implication
Published on 4 Jul 2026
Logics of Unknowable (Necessary) Truths
Published on 30 Jun 2026
Classification and Deontic Explosion for Contrary-to-Duty Obligations
Published on 30 Jun 2026
On Actions and Split Extensions in Varieties of Hoops: The Case of Strong Section
Published on 24 Jun 2026
Two Main Results About Propositional Core Logic
Published on 4 Jun 2026
Reduced Sequents in Modal Display Calculi
Published on 29 May 2026
A Topological Duality for Tense -Algebras
Published on 27 May 2026
Selective Contraction
Published on 16 May 2026