1. Games and Bisimulations for Intuitionistic First-Order Kripke Models

   • Małgorzata Kruszelnicka

   OriginalPaper 18 January 2021 Pages: 903 - 916

2. Confluence Proofs of Lambda-Mu-Calculi by Z Theorem

   • Yuki Honda
   • Koji Nakazawa
   • Ken-etsu Fujita

   OriginalPaper 21 January 2021 Pages: 917 - 936

3. An Algebraic Study of S5-Modal Gödel Logic

   • Diego Castaño
   • Cecilia Cimadamore
   • Laura Rueda

   OriginalPaper 03 February 2021 Pages: 937 - 967

4. Containment Logics: Algebraic Completeness and Axiomatization

   • Stefano Bonzio
   • Michele Pra Baldi

   OriginalPaper 18 February 2021 Pages: 969 - 994

5. Inquisitive Heyting Algebras

   • Vít Punčochář

   OriginalPaper 18 February 2021 Pages: 995 - 1017

6. Logic of Convex Order

   • Chenwei Shi
   • Yang Sun

   OriginalPaper 18 February 2021 Pages: 1019 - 1047

7. Endogenizing Epistemic Actions

   • Adam Bjorndahl
   • Will Nalls

   OriginalPaper 13 March 2021 Pages: 1049 - 1091

8. Lattices of Finitely Alternative Normal Tense Logics

   • Minghui Ma
   • Qian Chen

   OriginalPaper 25 March 2021 Pages: 1093 - 1118

9. Hyper-MacNeille Completions of Heyting Algebras

   • J. Harding
   • F. M. Lauridsen

   OriginalPaper 26 March 2021 Pages: 1119 - 1157

10. Incompleteness and the Halting Problem

    • Cristian S. Calude

    OriginalPaper 15 April 2021 Pages: 1159 - 1169

11. Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic, Vol. 50, 2019, pp. 95+xv

    • Hilary A. Priestley

    Book Review 10 February 2021 Pages: 1171 - 1173

12. Correction to: Complexity of the Universal Theory of Modal Algebras

    • Dmitry Shkatov
    • Clint J. Van Alten

    Correction 27 February 2019 Pages: 1175 - 1175