Unifiability in extensions of K4 (Q3625492)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unifiability in extensions of K4
scientific article

    Statements

    Unifiability in extensions of K4 (English)
    0 references
    0 references
    0 references
    5 May 2009
    0 references
    unification
    0 references
    unifier
    0 references
    provability logic
    0 references
    closed formula
    0 references
    universal model
    0 references
    modal logic
    0 references

    Identifiers

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