Follow
Jim de Groot
Jim de Groot
Verified email at anu.edu.au - Homepage
Title
Cited by
Cited by
Year
Modal Intuitionistic Logics as Dialgebraic Logics
J de Groot, D Pattinson
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
72020
Hennessy-Milner properties for (modal) bi-intuitionistic logic
J Groot, D Pattinson
International Workshop on Logic, Language, Information, and Computation, 161-176, 2019
72019
Coalgebraic Geometric Logic: Basic Theory
N Bezhanishvili, J de Groot, Y Venema
arXiv e-prints, arXiv: 1903.08837, 2019
72019
Duality for instantial neighbourhood logic via coalgebra
N Bezhanishvili, S Enqvist, J Groot
International Workshop on Coalgebraic Methods in Computer Science, 32-54, 2020
62020
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
42021
Positive monotone modal logic
J De Groot
Studia Logica 109 (4), 829-857, 2021
22021
Logic-Induced Bisimulations
J de Groot, HH Hansen, A Kurz
arXiv preprint arXiv:2008.09238, 2020
22020
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic
J de Groot
Studia Logica 110 (3), 717-743, 2022
12022
Positive (Modal) Logic Beyond Distributivity
N Bezhanishvili, A Dmitrieva, J de Groot, T Moraschini
arXiv preprint arXiv:2204.13401, 2022
12022
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
J de Groot
arXiv preprint arXiv:2011.10221, 2020
12020
Hennessy-Milner properties via topological compactness
J de Groot, D Pattinson
Information and Computation 287, 104757, 2022
2022
A Coalgebraic Approach to Dualities for Neighborhood Frames
J de Groot, N Bezhanishvili, G Bezhanishvili
Logical Methods in Computer Science 18, 2022
2022
Modal meet-implication logic
D Pattinson, J de Groot
Logical Methods in Computer Science 18, 2022
2022
Monotone Subintuitionistic Logic: Duality and Transfer Results
J de Groot, D Pattinson
Notre Dame Journal of Formal Logic 63 (2), 213-242, 2022
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
The system can't perform the operation now. Try again later.
Articles 1–16