 where \(K\) designates the belief set of the agent. This analysis may well be incomplete, but proves useful for analysing causation. The next step toward such an analysis is to impose further constraints on the inferential relations between the antecedent and the consequent. For the expert reader, it may be worth noting that the conditional \(\gg\) is defined in terms of finite belief bases rather than logically closed sets. Inferential relations between antecedent and consequent can therefore be defined syntactically in terms of derivability.