Jim de Groot

Recently I submitted my PhD thesis at the Australian National University entitled "Dualities in Modal Logic". My PhD was supervised by Dirk Pattinson. Currently I'm a postdoctoral fellow in the School of Computer Science, again at the Australian National University. Please check my personal website for the most up-to-date info.
Submitted
- Positive (Modal) Logic Beyond Distributivity (pdf on arXiv)
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini, Submitted June 2022 - Coalgebraic Geometric Logic: Basic Theory
Nick Bezhanishvili, Jim de Groot & Yde Venema, Submitted March 2020
Accepted
- Goldblatt-Thomason Theorems for Modal Intuitionistic Logics (arxiv)
Jim de Groot, Accepted for publication at AiML 2022 - A Coalgebraic Approach to Dualities for Neighborhood Frames
Guram Bezhanishvili, Nick Bezhanishvili & Jim de Groot, Accepted for publication at LMCS, 2022 - Monotone Subintuitionistic Implication: Duality and Transfer Results
Jim de Groot & Dirk Pattinson, Accepted for publication at the Notre Dame Journal of Formal Logic, 2022 - Modal Meet-Implication Logic
Jim de Groot & Dirk Pattinson, Accepted for publication at LMCS, 2022 - Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic
Jim de Groot, Studia Logica, 2022 - Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication (technical report on arXiv)
Jim de Groot, Tadeusz Litak & Dirk Pattinson, LICS 2021 - Hennessy-Milner Properties via Topological Compactness (pdf on arXiv)
Jim de Groot & Dirk Pattinson, Information & Computation, 2021 - Positive Monotone Modal Logic (pdf)
Jim de Groot, Studia Logica, 2021 - Logic-Induced Bisimulations (technical report on arXiv)
Jim de Groot, Helle Hvid Hansen & Alexander Kurz, AiML 2020 - Modal Intuitionistic Logics as Dialgebraic Logics (pdf, video)
Jim de Groot & Dirk Pattinson, LICS 2020 - Duality for Instantial Neighbourhood Logic via Coalgebra (pdf)
Nick Bezhanishvili, Sebastian Enqvist & Jim de Groot, CMCS 2020 - Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic
Jim de Groot & Dirk Pattinson, WoLLIC 2019 - Coalgebraic Geometric Logic
Nick Bezhanishvili, Jim de Groot & Yde Venema, CALCO 2019
Reviews
I have (sub)reviewed papers for the following conferences and journals.
Journals
- Logic Journal of the IGPL
- Mathematical Logic Quarterly
Conferences
- LICS 2021
- MFPS 37
- RAMiCS 2021
Program committee
I'm on the program committee of:
- TbiLLC 2022