  In this paper we present various temporal justification logics involving both
past and future time modalities. We combine Artemov's logic of proofs with
linear temporal logic (with both past and future operators), and establish its
soundness and completeness. Then we investigate several principles describing
the interaction of justification and time.
