Pearl's Causality in a Logical Setting