A unified completeness theorem for quantified modal logics (Q4451729)

From MaRDI portal
scientific article; zbMATH DE number 2048404
Language Label Description Also known as
English
A unified completeness theorem for quantified modal logics
scientific article; zbMATH DE number 2048404

    Statements

    A unified completeness theorem for quantified modal logics (English)
    0 references
    0 references
    1 March 2004
    0 references
    completeness theorems for first-order modal logics
    0 references
    possible worlds semantics with inner and outer domains
    0 references
    quantified extensions of modal system
    0 references

    Identifiers