Stratified Counterpossible Logic

Chen Huang, Xuefeng Wen

This paper presents two logic systems, SCP and its extension SCP1, to distinguish between different types of impossibility. The semantics use a stratified structure that partitions…