The degree of the set of sentences of predicate provability logic that are true under every interpretation (Q3768873)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The degree of the set of sentences of predicate provability logic that are true under every interpretation
scientific article

    Statements

    The degree of the set of sentences of predicate provability logic that are true under every interpretation (English)
    0 references
    0 references
    0 references
    1987
    0 references
    predicate modal provability logic
    0 references
    interpretation
    0 references
    arithmetic
    0 references
    quantifier-elimination
    0 references
    quantified modal provability logic
    0 references

    Identifiers

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