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

From MaRDI portal
Revision as of 01:14, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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