 Propositional tense logic investigates the logic of tense operators like \(H\), read: “it has always been the case that”, \(P\), read: “it was the case that”, \(G\), read: “it will always be the case that”, and \(F\), read: “it will be the case that”. In place of K, we have distribution axioms: