Coalgebraic Geometric Logic: Basic Theory Y Venema, J de Groot, N Bezhanishvili Logical Methods in Computer Science 18, 2022 | 11* | 2022 |
Positive modal logic beyond distributivity N Bezhanishvili, A Dmitrieva, J de Groot, T Moraschini Annals of Pure and Applied Logic 175 (2), 103374, 2024 | 10 | 2024 |
Hennessy-Milner properties for (modal) bi-intuitionistic logic J de Groot, D Pattinson Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 10 | 2019 |
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication J de Groot, T Litak, D Pattinson 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-15, 2021 | 9 | 2021 |
Duality for instantial neighbourhood logic via coalgebra N Bezhanishvili, S Enqvist, J Groot International Workshop on Coalgebraic Methods in Computer Science, 32-54, 2020 | 9 | 2020 |
Modal Intuitionistic Logics as Dialgebraic Logics J de Groot, D Pattinson Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 8 | 2020 |
Positive monotone modal logic J De Groot Studia Logica 109, 829-857, 2021 | 5 | 2021 |
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic J de Groot Studia Logica 110 (3), 717-743, 2022 | 3 | 2022 |
Monotone Subintuitionistic Logic: Duality and Transfer Results J de Groot, D Pattinson Notre Dame Journal of Formal Logic 63 (2), 213-242, 2022 | 3 | 2022 |
Logic-Induced Bisimulations J de Groot, HH Hansen, A Kurz arXiv preprint arXiv:2008.09238, 2020 | 3 | 2020 |
Hennessy-Milner properties via topological compactness J de Groot, D Pattinson Information and Computation 287, 104757, 2022 | 2 | 2022 |
A Coalgebraic Approach to Dualities for Neighborhood Frames J de Groot, N Bezhanishvili, G Bezhanishvili Logical Methods in Computer Science 18, 2022 | 2* | 2022 |
Modal meet-implication logic J de Groot, D Pattinson Logical Methods in Computer Science 18, 2022 | 2 | 2022 |
Non-distributive positive logic as a fragment of first-order logic over semilattices J de Groot Journal of Logic and Computation 34 (1), 180-196, 2024 | 1 | 2024 |
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics J de Groot arXiv preprint arXiv:2011.10221, 2020 | 1 | 2020 |
Modal Logics for Mobile Processes Revisited T Liu, A Tiu, J de Groot 34th International Conference on Concurrency Theory (CONCUR 2023), 2023 | | 2023 |
Dualities in Modal Logic J de Groot | | 2022 |
Coalgebraic geometric logic N Bezhanishvili, J de Groot, Y Venema 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), 2019 | | 2019 |
Lifting Functors from Pos to Pries J de Groot TACL 2019, 69, 2019 | | 2019 |