A first-order logic characterization of safety and co-safety languages (Q6135783)

From MaRDI portal
scientific article; zbMATH DE number 7731941
Language Label Description Also known as
English
A first-order logic characterization of safety and co-safety languages
scientific article; zbMATH DE number 7731941

    Statements

    A first-order logic characterization of safety and co-safety languages (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    26 August 2023
    0 references
    LTL
    0 references
    safety fragment
    0 references
    first-order logic
    0 references

    Identifiers