Coalgebraic Geometric Logic. - Nick Bezhanishvili; Jim de Groot; Yde Venema (CALCO, 2019)

Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. - Jim de Groot; Dirk Pattinson (WoLLIC, 2019)

Logic-Induced Bisimulations. - Jim de Groot; Helle Hvid Hansen; Alexander Kurz 001 (AiML, 2020)

Duality for Instantial Neighbourhood Logic via Coalgebra. - Nick Bezhanishvili; Sebastian Enqvist; Jim de Groot (CMCS, 2020)

Modal Intuitionistic Logics as Dialgebraic Logics. - Jim de Groot; Dirk Pattinson (LICS, 2020)

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. - Jim de Groot; Tadeusz Litak; Dirk Pattinson (LICS, 2021)

Positive Monotone Modal Logic. - Jim de Groot (Stud Logica, 2021)

Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. - Jim de Groot (AiML, 2022)

Hennessy-Milner properties via topological compactness. - Jim de Groot; Dirk Pattinson (Inf. Comput., 2022)

A Coalgebraic Approach to Dualities for Neighborhood Frames. - Guram Bezhanishvili; Nick Bezhanishvili; Jim de Groot (Log. Methods Comput. Sci., 2022)

Coalgebraic Geometric Logic: Basic Theory. - Nick Bezhanishvili; Jim de Groot; Yde Venema (Log. Methods Comput. Sci., 2022)

Modal meet-implication logic. - Jim de Groot; Dirk Pattinson (Log. Methods Comput. Sci., 2022)

Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic. - Jim de Groot (Stud Logica, 2022)

Modal Logics for Mobile Processes Revisited. - Tiange Liu; Alwen Tiu; Jim de Groot (CONCUR, 2023)

Positive modal logic beyond distributivity. - Nick Bezhanishvili; Anna Dmitrieva; Jim de Groot; Tommaso Moraschini (Ann. Pure Appl. Log., 2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK. - Jim de Groot; Ian Shillito; Ranald Clouston (CoRR, 2024)

Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin. - Di Long Li; Jim de Groot; Alwen Tiu (CoRR, 2024)

Non-distributive positive logic as a fragment of first-order logic over semilattices. - Jim de Groot (J. Log. Comput., 2024)

Intuitionistic monotone modal logic via translation. - Jim de Groot (CoRR, 2025)