Jim de Groot
Australian National University
H-index: 6
Oceania-Australia
Top articles of Jim de Groot
Positive modal logic beyond distributivity
Annals of Pure and Applied Logic
2024/2/1
Jim De Groot
H-Index: 2
Tommaso Moraschini
H-Index: 7
Non-distributive positive logic as a fragment of first-order logic over semilattices
Journal of Logic and Computation
2024/1
Jim De Groot
H-Index: 2
Modal Logics for Mobile Processes Revisited
2023
Dualities in Modal Logic
2022/12
Jim De Groot
H-Index: 2
Hennessy-Milner properties via topological compactness
Information and Computation
2022/9/1
Jim De Groot
H-Index: 2
Dirk Pattinson
H-Index: 16
Modal meet-implication logic
Logical Methods in Computer Science
2022/7/14
Jim De Groot
H-Index: 2
Dirk Pattinson
H-Index: 16
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic
Studia Logica
2022/6
Jim De Groot
H-Index: 2
Monotone Subintuitionistic Logic: Duality and Transfer Results
Notre Dame Journal of Formal Logic
2022/5
Jim De Groot
H-Index: 2
Dirk Pattinson
H-Index: 16
Positive monotone modal logic
Studia Logica
2021/8
Jim De Groot
H-Index: 2
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
2021/6/29
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
arXiv preprint arXiv:2011.10221
2020/11/20
Jim De Groot
H-Index: 2
Logic-Induced Bisimulations
2020/8/21
Modal Intuitionistic Logics as Dialgebraic Logics
2020/7/8
Jim De Groot
H-Index: 2
Dirk Pattinson
H-Index: 16
Duality for instantial neighbourhood logic via coalgebra
2020/4/25
Jim De Groot
H-Index: 2