FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in \(\text {NExtK4.3}\) Ming Xu OriginalPaper 19 June 2023 Pages: 899 - 946
Systems for Non-Reflexive Consequence Carlo NicolaiLorenzo Rossi OriginalPaper Open access 10 August 2023 Pages: 947 - 977
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic Norihiro Kamide OriginalPaper 14 June 2023 Pages: 979 - 1014
On Heyting Algebras with Negative Tense Operators Federico G. AlmiñanaGustavo PelaitayWilliam Zuluaga OriginalPaper 14 June 2023 Pages: 1015 - 1036
The Elimination of Direct Self-reference Qianli ZengMing Hsiung OriginalPaper 03 August 2023 Pages: 1037 - 1055
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic Zhiguang Zhao OriginalPaper 29 August 2023 Pages: 1057 - 1082
Hyperintensionality and Fine-Grained Semantics Aleksander Parol Book Reviews Open access 10 August 2023 Pages: 1083 - 1087