Filling in the semantics for intuitionistic conditional logic
Logic
2026-03-19 v2 Logic in Computer Science
Abstract
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 descriptive conditional frames, and then introducing the fill-in method to transfer this to classes of conditional frames without extra structure. The fill-in method closes the gap between descriptive conditional frames, which do not have a canonical underlying frame, and conditional frames.
Keywords
Cite
@article{arxiv.2508.11972,
title = {Filling in the semantics for intuitionistic conditional logic},
author = {Brendan Dufty and Jim de Groot},
journal= {arXiv preprint arXiv:2508.11972},
year = {2026}
}