On the Proof Theory of Infinitary Modal Logic Matteo Tesi OriginalPaper Open access 01 June 2022 Pages: 1349 - 1380
Natural Deduction Systems for Intuitionistic Logic with Identity Szymon ChlebowskiMarta GawekAgata Tomczyk OriginalPaper 11 June 2022 Pages: 1381 - 1415
Logics of Order and Related Notions Janusz CzelakowskiAdam Olszewski OriginalPaper 28 June 2022 Pages: 1417 - 1464
On Relative Principal Congruences in Term Quasivarieties Hernán Javier San Martín OriginalPaper 07 July 2022 Pages: 1465 - 1491
The G4i Analogue of a G3i Sequent Calculus Rosalie Iemhoff OriginalPaper Open access 15 July 2022 Pages: 1493 - 1506
Loop-Check Specification for a Sequent Calculus of Temporal Logic Romas AlonderisRegimantas PliuškevičiusHaroldas Giedra OriginalPaper 30 August 2022 Pages: 1507 - 1536
Correction to: A Modal View on Resource-Bounded Propositional Logics Pere Pardo Correction Open access 25 May 2022 Pages: 1537 - 1538