The intuitionistic temporal logic of dynamical systems (Q4580328)

From MaRDI portal
Revision as of 08:56, 16 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    Mathematics Subject Classification ID
    03B44
    0 references
    03B20
    0 references
    37B20
    0 references
    zbMATH DE Number
    6917943
    0 references
    zbMATH Keywords
    intuitionistic logic
    0 references
    temporal logic
    0 references
    dynamical topological systems
    0 references
    arXiv classification
    math.LO
    0 references
    arXiv ID
    1611.06929
    0 references
    cites work
    Q3135846
    0 references
    Q5767704
    0 references
    Q3509059
    0 references
    Dynamic topological S5
    0 references
    Dynamic measure logic
    0 references
    Q4485837
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4580328&oldid=36416418"
    Powered by MediaWiki