A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes | IEEE Conference Publication | IEEE Xplore