Logics for some dynamic spaces-I (Q5262486)

From MaRDI portal
scientific article; zbMATH DE number 6458862
Language Label Description Also known as
English
Logics for some dynamic spaces-I
scientific article; zbMATH DE number 6458862

    Statements

    Logics for some dynamic spaces-I (English)
    0 references
    0 references
    0 references
    15 July 2015
    0 references
    normal modal logic
    0 references
    temporal logic
    0 references
    tableau-based proof procedure
    0 references
    combination of modal logics
    0 references
    rough set theory
    0 references

    Identifiers