share record
persistent URL:
Zhiguang Zhao : Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic. Stud Logica 111 (6 ) : 1057-1082 (2023 )export record
dblp key:
journals/sLogica/Czelakowski23 share record
persistent URL:
(Withdrawn) RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa-Sikorski Lemma in Arithmetic (I). Stud Logica 111 (2 ) : 357-358 (2023 )export record
dblp key:
journals/sLogica/Czelakowski23a share record
persistent URL:
(Withdrawn) RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa-Sikorski Lemma in Arithmetic (II). Stud Logica 111 (2 ) : 359 (2023 )2022 export record
dblp key:
journals/sLogica/Agliano22 share record
persistent URL:
Paolo Aglianò : Splittings in Subreducts of Hoops. Stud Logica 110 (5 ) : 1155-1187 (2022 )export record
dblp key:
journals/sLogica/AlonderisPPG22 share record
persistent URL:
Romas Alonderis , Regimantas Pliuskevicius , Aida Pliuskeviciene , Haroldas Giedra : Loop-Check Specification for a Sequent Calculus of Temporal Logic. Stud Logica 110 (6 ) : 1507-1536 (2022 )export record
dblp key:
journals/sLogica/Bozdag22 share record
persistent URL:
Sena Bozdag : A Semantics for Hyperintensional Belief Revision Based on Information Bases. Stud Logica 110 (3 ) : 679-716 (2022 )export record
dblp key:
journals/sLogica/Bredikhin22 share record
persistent URL:
Dmitry Bredikhin : On Groupoids of Relations with One Conjunctive Operation of Rank 2. Stud Logica 110 (5 ) : 1137-1153 (2022 )export record
dblp key:
journals/sLogica/BusanicheGM22 share record
persistent URL:
Manuela Busaniche , Nikolaos Galatos , Miguel Andrés Marcos : Twist Structures and Nelson Conuclei. Stud Logica 110 (4 ) : 949-987 (2022 )export record
dblp key:
journals/sLogica/ChlebowskiGT22 share record
persistent URL:
Szymon Chlebowski , Marta Gawek , Agata Tomczyk : Natural Deduction Systems for Intuitionistic Logic with Identity. Stud Logica 110 (6 ) : 1381-1415 (2022 )export record
dblp key:
journals/sLogica/ChlebowskiGU22 share record
persistent URL:
Szymon Chlebowski , Andrzej Gajda , Mariusz Urbanski : An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC. Stud Logica 110 (2 ) : 479-509 (2022 )export record
dblp key:
journals/sLogica/ConiglioT22 share record
persistent URL:
Marcelo E. Coniglio , Guilherme Vicentin de Toledo : Two Decision Procedures for da Costa's Cn Logics Based on Restricted Nmatrix Semantics. Stud Logica 110 (3 ) : 601-642 (2022 )export record
dblp key:
journals/sLogica/CrupiI22 share record
persistent URL:
Vincenzo Crupi , Andrea Iacona : Three Ways of Being Non-Material. Stud Logica 110 (1 ) : 47-93 (2022 )export record
dblp key:
journals/sLogica/CzelakowskiO22 share record
persistent URL:
Janusz Czelakowski , Adam Olszewski : Logics of Order and Related Notions. Stud Logica 110 (6 ) : 1417-1464 (2022 )export record
dblp key:
journals/sLogica/Czernecka-Rej22 share record
persistent URL:
Bozena Czernecka-Rej : Book Reviews. Stud Logica 110 (2 ) : 593-596 (2022 )export record
dblp key:
journals/sLogica/Estrada-Gonzalez22 share record
persistent URL:
Luis Estrada-González : An Analysis of Poly-connexivity. Stud Logica 110 (4 ) : 925-947 (2022 )share record
persistent URL:
Jie Fan : Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics. Stud Logica 110 (1 ) : 1-45 (2022 )export record
dblp key:
journals/sLogica/Figallo22 share record
persistent URL:
Martín Figallo : Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic. Stud Logica 110 (3 ) : 879 (2022 )export record
dblp key:
journals/sLogica/FigalloSP22 share record
persistent URL:
Aldo V. Figallo , Jonathan Sermento , Gustavo Pelaitay : A Categorical Equivalence for Tense Nelson Algebras. Stud Logica 110 (1 ) : 241-263 (2022 )export record
dblp key:
journals/sLogica/Fischer22 share record
persistent URL:
Martin Fischer : Sequent Calculi for the Propositional Logic of HYPE. Stud Logica 110 (3 ) : 643-677 (2022 )export record
dblp key:
journals/sLogica/Fussner22 share record
persistent URL:
Wesley Fussner : Poset Products as Relational Models. Stud Logica 110 (1 ) : 95-120 (2022 )export record
dblp key:
journals/sLogica/GallardoZ22 share record
persistent URL:
Carlos Gallardo , Alicia Ziliani : A Generalization of Monadic n-Valued Łukasiewicz Algebras. Stud Logica 110 (2 ) : 457-478 (2022 )export record
dblp key:
journals/sLogica/GiordaniP22 share record
persistent URL:
Alessandro Giordani , Matteo Pascucci : Generalizing Deontic Action Logic. Stud Logica 110 (4 ) : 989-1033 (2022 )export record
dblp key:
journals/sLogica/GorbunovS22 share record
persistent URL:
Igor Gorbunov , Dmitry Shkatov : On Independent Axiomatizability of Quasi-Normal Modal Logics. Stud Logica 110 (5 ) : 1189-1217 (2022 )share record
persistent URL:
Jim de Groot : Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic. Stud Logica 110 (3 ) : 717-743 (2022 )export record
dblp key:
journals/sLogica/Hansson22 share record
persistent URL:
Sven Ove Hansson : A Characterization of Probability-based Dichotomous Belief Revision. Stud Logica 110 (2 ) : 511-543 (2022 )export record
dblp key:
journals/sLogica/Hayashi22 share record
persistent URL:
Daichi Hayashi : On Cut-Elimination Arguments for Axiomatic Theories of Truth. Stud Logica 110 (3 ) : 785-818 (2022 )export record
dblp key:
journals/sLogica/Hernandez22 share record
persistent URL:
Juan Carlos Sánchez Hernández : Tableaux for Some Modal-Tense Logics Graham Priest's Fashion. Stud Logica 110 (3 ) : 745-784 (2022 )export record
dblp key:
journals/sLogica/Humberstone22 share record
persistent URL:
Lloyd Humberstone : Idempotent Variations on the Theme of Exclusive Disjunction. Stud Logica 110 (1 ) : 121-163 (2022 )export record
dblp key:
journals/sLogica/Iemhoff22 share record
persistent URL:
Rosalie Iemhoff : The G4i Analogue of a G3i Sequent Calculus. Stud Logica 110 (6 ) : 1493-1506 (2022 )share record
persistent URL:
Takao Inoué : On Blass Translation for Leśniewski's Propositional Ontology and Modal Logics. Stud Logica 110 (1 ) : 265-289 (2022 )