1. On the Proof Theory of Infinitary Modal Logic

   • Matteo Tesi

   OriginalPaper Open access 01 June 2022 Pages: 1349 - 1380

2. Natural Deduction Systems for Intuitionistic Logic with Identity

   • Szymon Chlebowski
   • Marta Gawek
   • Agata Tomczyk

   OriginalPaper 11 June 2022 Pages: 1381 - 1415

3. Logics of Order and Related Notions

   • Janusz Czelakowski
   • Adam Olszewski

   OriginalPaper 28 June 2022 Pages: 1417 - 1464

4. On Relative Principal Congruences in Term Quasivarieties

   • Hernán Javier San Martín

   OriginalPaper 07 July 2022 Pages: 1465 - 1491

5. The G4i Analogue of a G3i Sequent Calculus

   • Rosalie Iemhoff

   OriginalPaper Open access 15 July 2022 Pages: 1493 - 1506

6. Loop-Check Specification for a Sequent Calculus of Temporal Logic

   • Romas Alonderis
   • Regimantas Pliuškevičius
   • Haroldas Giedra

   OriginalPaper 30 August 2022 Pages: 1507 - 1536

7. Correction to: A Modal View on Resource-Bounded Propositional Logics

   • Pere Pardo

   Correction Open access 25 May 2022 Pages: 1537 - 1538