No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic (Q259068)

From MaRDI portal





scientific article; zbMATH DE number 6553699
Language Label Description Also known as
default for all languages
No label defined
    English
    No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
    scientific article; zbMATH DE number 6553699

      Statements

      Identifiers