 A modal-access model is a member of the class of modal access models \(\mathbf{MA}\) iff it satisfies truth for formulas and truth preservation for rules. \(\mathbf{MA}_k\) models are those \(\mathbf{MA}\) models such that \(R\) is an equivalence relation. 