Jim de Groot

According to our database, Jim de Groot authored at least 18 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Non-distributive positive logic as a fragment of first-order logic over semilattices.

Jim de Groot

J. Log. Comput., 2024

Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin.

Di Long Li, Jim de Groot, Alwen Tiu

CoRR, 2024

Semantical Analysis of Intuitionistic Modal Logics between CK and IK.

Jim de Groot, Ian Shillito, Ranald Clouston

CoRR, 2024

Positive modal logic beyond distributivity.

Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini

Ann. Pure Appl. Log., 2024

2023

Modal Logics for Mobile Processes Revisited.

Tiange Liu, Alwen Tiu, Jim de Groot

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.

Jim de Groot

Stud Logica, 2022

Modal meet-implication logic.

Jim de Groot, Dirk Pattinson

Log. Methods Comput. Sci., 2022

Coalgebraic Geometric Logic: Basic Theory.

Nick Bezhanishvili, Jim de Groot, Yde Venema

Log. Methods Comput. Sci., 2022

A Coalgebraic Approach to Dualities for Neighborhood Frames.

Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot

Log. Methods Comput. Sci., 2022

Hennessy-Milner properties via topological compactness.

Jim de Groot, Dirk Pattinson

Inf. Comput., 2022

Goldblatt-Thomason Theorems for Modal Intuitionistic Logics.

Jim de Groot

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Positive Monotone Modal Logic.

Jim de Groot

Stud Logica, 2021

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.

Jim de Groot, Tadeusz Litak, Dirk Pattinson

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Modal Intuitionistic Logics as Dialgebraic Logics.

Jim de Groot, Dirk Pattinson

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Duality for Instantial Neighbourhood Logic via Coalgebra.

Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot

Proceedings of the Coalgebraic Methods in Computer Science, 2020

Logic-Induced Bisimulations.

Jim de Groot, Helle Hvid Hansen, Alexander Kurz

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic.

Jim de Groot, Dirk Pattinson

Proceedings of the Logic, Language, Information, and Computation, 2019

Coalgebraic Geometric Logic.

Nick Bezhanishvili, Jim de Groot, Yde Venema

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019