  Within this formalization, it appears that epistemic closure in its modal form (2) is violated: line 2, \(\Box ( B \wedge R )\), and line 3, \(\Box ( B \wedge R \rightarrow B)\) are cases of knowledge whereas \(\Box B\) (line 1) is not knowledge. The modal language here does not seem to help resolving this issue.