 From here, inference is represented as a modal operation adding the rule’s conclusion to the access set of information states of the of the agent such that the agent can access both the rule and its premises. Where \(Y(x)\) is the access set at \(x\), and \(Z(x)\) is the rule set at \(x\): 