Journal of Logic, Language, and Information, Vol. 9, No. 1, Special Issue on Logics of Uncertainty (Jan., 2000), pp. 65-89 (25 pages) The starting point of this work is the gap between two distinct ...

Abstract: Temporal justification logic is a new family of temporal logics of knowledge in which the knowledge of agents is modelled using a justification logic. In this paper, we present various ...