Lewis (Noûs 13:455–476, 1979) claimed that branching-time(-like) models can be derived from his sphere models. However, he did not present any specific construction of branching-time(-like) models from his sphere models formally. Meanwhile, Hosokawa (in: Modern logic of modality and its philosophical range: counterfactuals, Gettier problem, and information flow, Tokyo Metropolitan University, 2018) presented a logico-mathematically strict manner in which sphere models can be reconstructed from branching-time models. Subsequently, Hosokawa (J Logic Lang Inf 32:677–706, 2023) presented a proof-theoretically refined version of hybrid tense logic for a certain type of conditionals, which is referred to as hybrid tense logic for temporal conditionals (HTLTC). In this paper, we interpret a hybrid version VHC(@,↓) of Lewis’s counterfactual logic V into HTLTC, and then prove that HTLTC is more expressive than VHC(@,↓) on the class of temporal sphere models, i.e., sphere models derived from a type of branching-time models.
Read full abstract