7 citations · 12 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 1 cited
Modal meet-implication logic
Jim de Groot, Dirk Pattinson
We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a s…
math.LO2020★ 1 cited
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
Jim de Groot
We prove a Goldblatt-Thomason theorem for dialgebraic intuitionistic logics, and instantiate it to Goldblatt-Thomason theorems for a wide variety of modal intuitionistic logics fro…