Interpolation for extended modal languages (Q3370762)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Interpolation for extended modal languages
scientific article

    Statements

    Interpolation for extended modal languages (English)
    0 references
    0 references
    8 February 2006
    0 references
    Kripke model
    0 references
    extensions of basic modal language
    0 references
    interpolation
    0 references
    hybrid logic
    0 references
    relation algebra
    0 references
    guarded fragment
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references