Interpolation in non-classical logics (Q1024121)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Interpolation in non-classical logics
scientific article

    Statements

    Interpolation in non-classical logics (English)
    0 references
    0 references
    16 June 2009
    0 references
    interpolation
    0 references
    nonclassical logics
    0 references
    bisimulation quantifers
    0 references
    uniform interpolation
    0 references

    Identifiers