The intuitionistic temporal logic of dynamical systems (Q4580328)

From MaRDI portal
Revision as of 15:59, 19 April 2024 by Importer (talk | contribs) (‎Changed label, description and/or aliases in en, and other parts)
scientific article; zbMATH DE number 6917943
Language Label Description Also known as
English
The intuitionistic temporal logic of dynamical systems
scientific article; zbMATH DE number 6917943

    Statements

    publication date
    15 August 2018
    0 references
    zbMATH Keywords
    intuitionistic logic
    0 references
    temporal logic
    0 references
    dynamical topological systems
    0 references
    arXiv classification
    math.LO
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B44
    0 references
    03B20
    0 references
    37B20
    0 references
    zbMATH DE Number
    6917943
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4580328&oldid=33626206"
    Powered by MediaWiki