Jim de Groot

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 23

Top Topics

Sound And Complete Axiomatization

Prime Implicates

Top Venues

Log. Methods Comput. Sci.

Publications

Jim de Groot
Non-distributive positive logic as a fragment of first-order logic over semilattices. J. Log. Comput. 34 (1) (2024)
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
Positive modal logic beyond distributivity. Ann. Pure Appl. Log. 175 (2) (2024)
Tiange Liu, Alwen Tiu, Jim de Groot
Modal Logics for Mobile Processes Revisited. CONCUR (2023)
Nick Bezhanishvili, Jim de Groot, Yde Venema
Coalgebraic Geometric Logic: Basic Theory. Log. Methods Comput. Sci. 18 (4) (2022)
Jim de Groot
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. AiML (2022)
Jim de Groot, Dirk Pattinson
Modal meet-implication logic. Log. Methods Comput. Sci. 18 (3) (2022)
Jim de Groot
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic. Stud Logica 110 (3) (2022)
Jim de Groot
Non-distributive positive logic as a fragment of first-order logic over semilattices. CoRR (2022)
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
A Coalgebraic Approach to Dualities for Neighborhood Frames. Log. Methods Comput. Sci. 18 (3) (2022)
Jim de Groot, Dirk Pattinson
Hennessy-Milner properties via topological compactness. Inf. Comput. 287 (2022)
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
Positive (Modal) Logic Beyond Distributivity. CoRR (2022)
Jim de Groot, Tadeusz Litak, Dirk Pattinson
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. LICS (2021)
Jim de Groot, Tadeusz Litak, Dirk Pattinson
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. CoRR (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
A Coalgebraic Approach to Dualities for Neighborhood Frames. CoRR (2021)
Jim de Groot
Positive Monotone Modal Logic. Stud Logica 109 (4) (2021)
Jim de Groot, Dirk Pattinson
Modal Intuitionistic Logics as Dialgebraic Logics. LICS (2020)
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
Logic-Induced Bisimulations. AiML (2020)
Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot
Duality for Instantial Neighbourhood Logic via Coalgebra. CMCS (2020)
Jim de Groot
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. CoRR (2020)
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
Logic-Induced Bisimulations. CoRR (2020)
Jim de Groot, Dirk Pattinson
Modal meet-implication logic. CoRR (2020)
Nick Bezhanishvili, Jim de Groot, Yde Venema
Coalgebraic Geometric Logic. CALCO (2019)
Jim de Groot, Dirk Pattinson
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. WoLLIC (2019)