The tense logic for Master Argument in Prior's reconstruction
scientific article; zbMATH DE number 5633553