with Beirlaen, M. , Leuridan, B. , 2018, 'A logic for the discovery of deterministic causal regularities', Synthese 195 (1), 367-399.