Correction to: Lambek Calculus with Conjugates Igor SedlárAndrew Tedder Correction 17 October 2020 Pages: 471 - 471
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT S. NegriE. Pavlović OriginalPaper Open access 15 July 2020 Pages: 473 - 507
Non-classical Models of ZF S. Jockwich MartinezG. Venturi OriginalPaper 09 July 2020 Pages: 509 - 537
The Poset of All Logics III: Finitely Presentable Logics Ramon JansanaTommaso Moraschini OriginalPaper 31 August 2020 Pages: 539 - 580
Measuring Inconsistency in Some Logics with Modal Operators John Grant OriginalPaper 28 August 2020 Pages: 581 - 605
A Cut-Elimination Proof in Positive Relevant Logic with Necessity Mirjana Ilić OriginalPaper 16 November 2020 Pages: 607 - 638
Positive Announcements Hans van DitmarschTim FrenchJames Hales OriginalPaper 07 October 2020 Pages: 639 - 681