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

From MaRDI portal
scientific article
Language Label Description Also known as
English
No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
scientific article

    Statements

    Identifiers