1. FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in \(\text {NExtK4.3}\)

   • Ming Xu

   OriginalPaper 19 June 2023 Pages: 899 - 946

2. Systems for Non-Reflexive Consequence

   • Carlo Nicolai
   • Lorenzo Rossi

   OriginalPaper Open access 10 August 2023 Pages: 947 - 977

3. Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic

   • Norihiro Kamide

   OriginalPaper 14 June 2023 Pages: 979 - 1014

4. On Heyting Algebras with Negative Tense Operators

   • Federico G. Almiñana
   • Gustavo Pelaitay
   • William Zuluaga

   OriginalPaper 14 June 2023 Pages: 1015 - 1036

5. The Elimination of Direct Self-reference

   • Qianli Zeng
   • Ming Hsiung

   OriginalPaper 03 August 2023 Pages: 1037 - 1055

6. Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic

   • Zhiguang Zhao

   OriginalPaper 29 August 2023 Pages: 1057 - 1082

7. Hyperintensionality and Fine-Grained Semantics

   • Aleksander Parol

   Book Reviews Open access 10 August 2023 Pages: 1083 - 1087