Modal and guarded characterisation theorems over finite transition systems (Q1886323)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Modal and guarded characterisation theorems over finite transition systems
scientific article

    Statements

    Modal and guarded characterisation theorems over finite transition systems (English)
    0 references
    0 references
    18 November 2004
    0 references
    Finite model theory
    0 references
    Modal logic
    0 references
    Guarded fragment
    0 references
    Bisimulation
    0 references
    Preservation
    0 references
    Characterisation theorems
    0 references

    Identifiers

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