Finite variability interpretation of monadic logic of order (Q1606122)

From MaRDI portal





scientific article; zbMATH DE number 1774097
Language Label Description Also known as
English
Finite variability interpretation of monadic logic of order
scientific article; zbMATH DE number 1774097

    Statements

    Finite variability interpretation of monadic logic of order (English)
    0 references
    31 July 2002
    0 references
    monadic logic of order
    0 references
    definability
    0 references
    continuous time specification
    0 references

    Identifiers