 Taking Velázquez-Quesada (2009) as a working example, start with a modal-access model \(M =\langle S, R, V, Y, Z\rangle\) where \(\langle S, R, V \rangle\) is a Kripke Model, \(Y\) is the access set function, and \(Z\) is the rule set function s.t.  (where \(I\) is the set of classical propositional language based on a set of atomic propositions): 