3 papers
math.LO2025
Filling in the semantics for intuitionistic conditional logic
Brendan Dufty, Jim de Groot
We prove completeness results for a wide variety of intuitionistic conditional logics. We do so by first using a canonical model construction obtain completeness with respect to de…
math.LO2024
Sub-sub-intuitionistic logic
Jonte Deakin, Jim de Groot
Sub-sub-intuitionistic logic is obtained from intuitionistic logic by weakening the implication and removing distributivity. It can alternatively be viewed as conditional weak posi…
math.LO2021
Hennessy-Milner Properties via Topological Compactness
Jim de Groot, Dirk Pattinson
We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to mod…