TY - GEN T1 - Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals PY - 2023/04/06 AU - Barbero F AU - Virtema J ED - Y2 - 2024/12/23 ER -