Interpretation of hybrid counterfactual logic into hybrid tense logic: and comparison of their expressive power on temporal sphere models.

DOI10.1007/s10849-024-09424-6MaRDI QIDQ6661241

Yuichiro Hosokawa

Publication date: 13 January 2025

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

counterfactual logiccounterfactual conditionalsbranching-time modelhybrid tense logicsphere model

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Unnamed Item
• Pure extensions, proof rules, and hybrid axiomatics
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• Probabilities of causation: Three counterfactual interpretations and their identification
• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Hybrid logics: Characterization, interpolation and complexity
• Information Flow
• Hybrid logic and its proof-theory
• From \textit{counterfactual} conditionals to \textit{temporal} conditionals

This page was built for publication: Interpretation of hybrid counterfactual logic into hybrid tense logic: and comparison of their expressive power on temporal sphere models.