  The condition \(\mathcal{R}_{i} \subseteq \mathcal{R}\) entails the validity of  \(t : X \rightarrow K_{i}X\), for each agent \(i\). If there is only a single agent, and the accessibility relation for  that agent is reflexive and transitive, this provides another  semantics for \(\mathsf{S4LP}\).  Whatever the number of agents, each agent accepts explicit reasons as establishing knowledge.