Publications

Where possible, titles are hyperlinked to the official publication. 

Submitted papers

• Sub-sub-intuitionistic Logic (arxiv)
  Jonte Deakin & Jim de Groot, Submitted August 2024

• Semantical Analysis of Intuitionistic Modal Logics between CK and IK (arxiv)
  Jim de Groot, Ian Shillito & Ranald Clouston, Submitted July 2024

• Sahlqvist Correspondence and Canonicity for Positive Monotone Modal Logic
  Jim de Groot, Submitted October 2022

Accepted papers

• Intuitionistic S4 as a Logic of Topological Spaces
  Jim de Groot & Ian Shillito, Journal of Logic and Computation, 2024

• Positive Modal Logic Beyond Distributivity (penultimate version on arXiv)
  Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini, Annals of Pure and Applied Logic, 2024

• Non-Distributive Logic as a Fragment of First-Order Logic over Semilattices (arXiv)
  Jim de Groot, Journal of Logic and Computation, 2023

• Modal Logic for Mobile Processes Revisited
  Tiange Liu, Alwen Tiu & Jim de Groot, Conference on Concurrency (CONCUR), 2023

• Coalgebraic Geometric Logic: Basic Theory
  Nick Bezhanishvili, Jim de Groot & Yde Venema, Logical Methods in Computer Science, 2022

• Goldblatt-Thomason Theorems for Modal Intuitionistic Logics (arxiv)
  Jim de Groot, Advances in Modal Logic, 2022

• A Coalgebraic Approach to Dualities for Neighborhood Frames
  Guram Bezhanishvili, Nick Bezhanishvili & Jim de Groot, Logical Methods in Computer Science, 2022

• Monotone Subintuitionistic Implication: Duality and Transfer Results
  Jim de Groot & Dirk Pattinson, Notre Dame Journal of Formal Logic, 2022

• Modal Meet-Implication Logic
  Jim de Groot & Dirk Pattinson, Logical Methods in Computer Science, 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, Logic in Computer Science, 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, Advances in Modal Logic, 2020

• Modal Intuitionistic Logics as Dialgebraic Logics (pdf, video)
  Jim de Groot & Dirk Pattinson, Logic in Computer Science, 2020

• Duality for Instantial Neighbourhood Logic via Coalgebra (pdf)
  Nick Bezhanishvili, Sebastian Enqvist & Jim de Groot, Coalgebraic Methods in Computer Science, 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