Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
scientific article; zbMATH DE number 6251925