- Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva 0001, Mehrnoosh Sadrzadeh. 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017). Logic Journal of the IGPL, 27(1):118-134, 2019.
- Norihiro Kamide, Yoni Zohar. Yet another paradefinite logic: The role of conflation1. Logic Journal of the IGPL, 27(1):93-117, 2019.
- Gemma Robles. Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix. Logic Journal of the IGPL, 27(1):69-92, 2019.
- Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. Propositional intuitionistic multiple-conclusion calculus via proof graphs. Logic Journal of the IGPL, 27(1):33-59, 2019.
- Mikhail N. Rybakov, Dmitry Shkatov. Complexity of finite-variable fragments of propositional modal logics of symmetric frames. Logic Journal of the IGPL, 27(1):60-68, 2019.
- Luka Mikec, Fedor Pakhomov, Mladen Vukovic. Complexity of the interpretability logic IL. Logic Journal of the IGPL, 27(1):1-7, 2019.
- Philippe Balbiani, Çigdem Gencer, Zafer Özdemir. Two decision problems in Contact Logics. Logic Journal of the IGPL, 27(1):8-32, 2019.
- Mikhail N. Rybakov, Dmitry Shkatov. Complexity and expressivity of propositional dynamic logics with finitely many variables. Logic Journal of the IGPL, 26(5):539-547, 2018.
- Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia. Pattern-based calculi with finitary matching. Logic Journal of the IGPL, 26(2):203-243, 2018.
- Aleksandra Grzelak, Dorota Leszczynska-Jasion. Automatic proof generation in an axiomatic system for $$\mathsf{CPL}$$ by means of the method of Socratic proofs. Logic Journal of the IGPL, 26(1):109-148, 2018.