Jim de Groot

From MaRDI portal
Person:2144185

Available identifiers

zbMath Open de-groot.jimMaRDI QIDQ2144185

List of research outcomes





PublicationDate of PublicationType
Non-distributive positive logic as a fragment of first-order logic over semilattices2024-02-08Paper
Positive modal logic beyond distributivity2023-12-18Paper
https://portal.mardi4nfdi.de/entity/Q58849602023-03-24Paper
https://portal.mardi4nfdi.de/entity/Q58753472023-02-03Paper
Coalgebraic Geometric Logic: Basic Theory2023-01-09Paper
https://portal.mardi4nfdi.de/entity/Q51047112022-09-15Paper
https://portal.mardi4nfdi.de/entity/Q51013372022-08-30Paper
https://portal.mardi4nfdi.de/entity/Q51013342022-08-30Paper
Monotone subintuitionistic logic: duality and transfer results2022-07-13Paper
Hennessy-Milner properties via topological compactness2022-06-13Paper
Hennessy-Milner and van Benthem for instantial neighbourhood logic2022-06-01Paper
Positive monotone modal logic2021-11-11Paper
A Coalgebraic Approach to Dualities for Neighborhood Frames2021-06-03Paper
G\"{o}del-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication2021-05-05Paper
Hennessy-Milner Properties via Topological Compactness2021-05-04Paper
Duality for instantial neighbourhood logic via coalgebra2021-02-22Paper
Modal Intuitionistic Logics as Dialgebraic Logics2021-01-21Paper
Modal meet-implication logic2020-12-26Paper
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics2020-11-20Paper
Logic-Induced Bisimulations2020-08-20Paper
Hennessy-Milner properties for (modal) bi-intuitionistic logic2020-03-04Paper

Research outcomes over time

This page was built for person: Jim de Groot

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2144185&oldid=6597415"
Powered by MediaWiki