A bounded domain property for an expressive fragment of first-order linear temporal logic (Q6487559)

From MaRDI portal
scientific article; zbMATH DE number 7650203
Language Label Description Also known as
English
A bounded domain property for an expressive fragment of first-order linear temporal logic
scientific article; zbMATH DE number 7650203

    Statements

    A bounded domain property for an expressive fragment of first-order linear temporal logic (English)
    0 references
    0 references
    0 references
    0 references
    3 February 2023
    0 references
    first-order linear temporal logic
    0 references
    bounded domain property
    0 references
    finite domain property
    0 references
    decidability
    0 references

    Identifiers