Filling in the semantics for intuitionistic conditional logic

TL;DR

This paper establishes completeness results for various intuitionistic conditional logics by developing a novel fill-in method that bridges the gap between descriptive and standard conditional frames.

Contribution

It introduces the fill-in method to transfer completeness from descriptive to non-structured conditional frames, advancing the theoretical understanding of intuitionistic conditional logic.

Findings

Proves completeness for a wide range of intuitionistic conditional logics.

Develops the fill-in method to connect descriptive and standard frames.

Enhances the theoretical framework for intuitionistic conditional logic.

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.