On the Conditional Logic of Simulation Models