Nominal tense logic
extension to the semantics of natural language
scientific article; zbMATH DE number 440187