No label defined (Q5104724)

From MaRDI portal
scientific article; zbMATH DE number 7585731
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7585731

    Statements

    0 references
    0 references
    15 September 2022
    0 references
    first-order modal logic
    0 references
    predicate modal logic
    0 references
    restricted languages
    0 references
    decidability
    0 references
    undecidability
    0 references
    recursive enumerability
    0 references
    validity problem
    0 references
    satisfiability problem
    0 references
    \(\Sigma_1^1\)-hardness
    0 references
    \(\Pi_1^1\)-hardness
    0 references
    classification problem
    0 references

    Identifiers