Weak interpolation in extensions of the logics S4 and K4 (Q431659)

From MaRDI portal
Revision as of 05:01, 30 January 2024 by Import240129110155 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Weak interpolation in extensions of the logics S4 and K4
scientific article

    Statements

    Weak interpolation in extensions of the logics S4 and K4 (English)
    0 references
    0 references
    29 June 2012
    0 references
    0 references
    weak interpolation property
    0 references
    modal logic
    0 references
    amalgamability
    0 references
    modal algebras
    0 references