Lax extensions of coalgebra functors and their logic (Q2341702)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lax extensions of coalgebra functors and their logic
scientific article

    Statements

    Lax extensions of coalgebra functors and their logic (English)
    0 references
    0 references
    0 references
    28 April 2015
    0 references
    coalgebra
    0 references
    relation lifting
    0 references
    bisimilarity
    0 references
    coalgebraic modal logic
    0 references
    cover modality
    0 references
    predicate lifting
    0 references

    Identifiers