Some Notes on Temporal Justification Logic

摘要: Justification logics are modal-like with the additional capability of recording reason, or justification, for modalities in syntactic structures, called justification terms. can be seen as explicit counterparts to modal logic. The behavior and interaction agents distributed system is often modeled using knowledge time. In this paper, we sketch some preliminary ideas on how part such time could replaced an appropriate