Skip navigation

Jim de Groot

PhD Student

Research Area:

Logic

Hanna Neumann Blg 145

jim.degroot@anu.edu.au

Research interests
Publications

Roughly, I am interested in categorical dualities in logic.

Coalgebraic Geometric Logic: Basic Theory
Nick Bezhanishvili, Jim de Groot & Yde Venema, Submitted March 2020
Logic-Induced Bisimulations
Jim de Groot, Helle Hvid Hansen, Alexander Kurz, to appear at AIML 2020
Modal Intuitionistic Logics as Dialgebraic Logics (pdf, video)
Jim de Groot & Dirk Pattinson, LICS 2020
Duality for Instantial Neighbourhood Logic via Coalgebra
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

Updated: 1 June 2019/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing