On dynamic topological and metric logics (Q865049)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On dynamic topological and metric logics
scientific article

    Statements

    On dynamic topological and metric logics (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    13 February 2007
    0 references
    dynamical system
    0 references
    topological logic
    0 references
    topology
    0 references
    metric space
    0 references
    modal logic
    0 references
    temporal logic
    0 references
    decidability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references