The Logic of Causal Order