Borg, AnneMarie; Straßer, Christian; Arieli, Ofer A generalized proof-theoretic approach to logical argumentation based on hypersequents. (English) Zbl 07339954 Stud. Log. 109, No. 1, 167-238 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{A. Borg} et al., Stud. Log. 109, No. 1, 167--238 (2021; Zbl 07339954) Full Text: DOI
Kozhemiachenko, Daniil Non-distributive relatives of ETL and NFL. (English) Zbl 07339953 Stud. Log. 109, No. 1, 137-165 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{D. Kozhemiachenko}, Stud. Log. 109, No. 1, 137--165 (2021; Zbl 07339953) Full Text: DOI
Weiss, Yale A conservative negation extension of positive semilattice logic without the finite model property. (English) Zbl 07339952 Stud. Log. 109, No. 1, 125-136 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{Y. Weiss}, Stud. Log. 109, No. 1, 125--136 (2021; Zbl 07339952) Full Text: DOI
Hatano, Ryo; Sano, Katsuhiko Recapturing dynamic logic of relation changers via bounded morphisms. (English) Zbl 07339951 Stud. Log. 109, No. 1, 95-124 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{R. Hatano} and \textit{K. Sano}, Stud. Log. 109, No. 1, 95--124 (2021; Zbl 07339951) Full Text: DOI
Van De Putte, Frederik; Klein, Dominik Pooling modalities and pointwise intersection: axiomatization and decidability. (English) Zbl 07339950 Stud. Log. 109, No. 1, 47-93 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{F. Van De Putte} and \textit{D. Klein}, Stud. Log. 109, No. 1, 47--93 (2021; Zbl 07339950) Full Text: DOI
Greco, Giuseppe; Liang, Fei; Moshier, M. Andrew; Palmigiano, Alessandra Semi De Morgan logic properly displayed. (English) Zbl 07339949 Stud. Log. 109, No. 1, 1-45 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{G. Greco} et al., Stud. Log. 109, No. 1, 1--45 (2021; Zbl 07339949) Full Text: DOI arXiv