28 citations · 57 across the 12 of their papers we have counts for
1 paper · 1 filter
Meghdad Ghari
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…