Jim de Groot - RankMe

32 papers A* 3B 4C 1Journal 23Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason. CoRR Jim de Groot, Ian Shillito, Ranald Clouston
2026	J	`jnl`	Relational semantics for flat Heyting-Lewis Logic. CoRR Jim de Groot, Tadeusz Litak
2025	J	`jnl`	Filling in the semantics for intuitionistic conditional logic. CoRR Brendan Dufty, Jim de Groot
2025	J	`jnl`	Intrinsic and relative characterization results for logics with negative modalities. CoRR Jim de Groot, João Marcos, Rodrigo Stefanes
2025	J	`jnl`	Intuitionistic S4 as a logic of topological spaces. J. Log. Comput. Jim de Groot, Ian Shillito
2025	J	`jnl`	Intuitionistic monotone modal logic via translation. CoRR Jim de Groot
2025	A*	`conf`	Semantical Analysis of Intuitionistic Modal Logics between CK and IK. LICS Jim de Groot, Ian Shillito, Ranald Clouston
2024	J	`jnl`	Non-distributive positive logic as a fragment of first-order logic over semilattices. J. Log. Comput. Jim de Groot
2024	J	`jnl`	Positive modal logic beyond distributivity. Ann. Pure Appl. Log. Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
2024	J	`jnl`	Semantical Analysis of Intuitionistic Modal Logics between CK and IK. CoRR Jim de Groot, Ian Shillito, Ranald Clouston
2024	J	`jnl`	Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin. CoRR Di Long Li, Jim de Groot, Alwen Tiu
2023	B	`conf`	Modal Logics for Mobile Processes Revisited. CONCUR Tiange Liu, Alwen Tiu, Jim de Groot
2022	J	`jnl`	A Coalgebraic Approach to Dualities for Neighborhood Frames. Log. Methods Comput. Sci. Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
2022	J	`jnl`	Coalgebraic Geometric Logic: Basic Theory. Log. Methods Comput. Sci. Nick Bezhanishvili, Jim de Groot, Yde Venema
2022	B	`conf`	Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. AiML Jim de Groot
2022	J	`jnl`	Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic. Stud Logica Jim de Groot
2022	J	`jnl`	Hennessy-Milner properties via topological compactness. Inf. Comput. Jim de Groot, Dirk Pattinson
2022	J	`jnl`	Modal meet-implication logic. Log. Methods Comput. Sci. Jim de Groot, Dirk Pattinson
2022	J	`jnl`	Non-distributive positive logic as a fragment of first-order logic over semilattices. CoRR Jim de Groot
2022	J	`jnl`	Positive (Modal) Logic Beyond Distributivity. CoRR Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
2021	J	`jnl`	A Coalgebraic Approach to Dualities for Neighborhood Frames. CoRR Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
2021	A*	`conf`	Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. LICS Jim de Groot, Tadeusz Litak, Dirk Pattinson
2021	J	`jnl`	Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. CoRR Jim de Groot, Tadeusz Litak, Dirk Pattinson
2021	J	`jnl`	Positive Monotone Modal Logic. Stud Logica Jim de Groot
2020	—	`conf`	Duality for Instantial Neighbourhood Logic via Coalgebra. CMCS Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot
2020	J	`jnl`	Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. CoRR Jim de Groot
2020	B	`conf`	Logic-Induced Bisimulations. AiML Jim de Groot, Helle Hvid Hansen, Alexander Kurz
2020	J	`jnl`	Logic-Induced Bisimulations. CoRR Jim de Groot, Helle Hvid Hansen, Alexander Kurz
2020	A*	`conf`	Modal Intuitionistic Logics as Dialgebraic Logics. LICS Jim de Groot, Dirk Pattinson
2020	J	`jnl`	Modal meet-implication logic. CoRR Jim de Groot, Dirk Pattinson
2019	B	`conf`	Coalgebraic Geometric Logic. CALCO Nick Bezhanishvili, Jim de Groot, Yde Venema
2019	C	`conf`	Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. WoLLIC Jim de Groot, Dirk Pattinson