An operational and informational semantics for the ternary relation R is explored as a framework for modeling informational relevance. We extend this framework into robustly epistemic terrain. We take a new perspective on the problem of logical omniscience, using informationalised operational semantics to model the properties of the epistemic actions that underpin the epistemic relevance of certain explicit epistemic states of an epistemic agent as that agent executes said actions.
Sequoiah-Grayson, S. (2016). Epistemic Relevance and Epistemic Actions. In Outstanding Contributions to Logic (Vol. 8, pp. 133–146). Springer. https://doi.org/10.1007/978-3-319-29300-4_8