Logical and algorithmic properties of stable conditional independence