Semi De Morgan Logic Properly Displayed Giuseppe GrecoFei LiangAlessandra Palmigiano OriginalPaper 25 February 2020 Pages: 1 - 45
Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability Frederik Van De PutteDominik Klein OriginalPaper Open access 17 March 2020 Pages: 47 - 93
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms Ryo HatanoKatsuhiko Sano OriginalPaper 28 March 2020 Pages: 95 - 124
A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property Yale Weiss OriginalPaper 10 March 2020 Pages: 125 - 136
Non-distributive Relatives of ETL and NFL Daniil Kozhemiachenko OriginalPaper 10 March 2020 Pages: 137 - 165
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents AnneMarie BorgChristian StraßerOfer Arieli OriginalPaper Open access 02 April 2020 Pages: 167 - 238