Temporal multi-valued logic with lost worlds in the past
scientific article; zbMATH DE number 6931667
scientific article