Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models
Year: 2024
Type: article
Abstract: 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 ( $$\textbf{HTL}_{TC}$$ ). In this paper, we interpret a hybrid version $${\textbf{V}}_{\mathcal {HC(@, \downarrow )}}$$ of Lewis’s counterfactual logic $${\textbf{V}}$$ into $$\textbf{HTL}_{TC}$$ , and then prove that $$\textbf{HTL}_{TC}$$ is more expressive than $${\textbf{V}}_{\mathcal {HC(@, \downarrow )}}$$ on the class of temporal sphere models, i.e., sphere models derived from a type of branching-time models.
Author: Yuichiro Hosokawa
Institution: Gunma Prefectural Women's University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $2,990
OpenAlex ID: W4404821110