Notions of Bisimulation for Heyting-Valued Modal Languages (Q2882558)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Notions of Bisimulation for Heyting-Valued Modal Languages
scientific article

    Statements

    Notions of Bisimulation for Heyting-Valued Modal Languages (English)
    0 references
    0 references
    0 references
    7 May 2012
    0 references
    many-valued modal logic
    0 references
    bisimulation
    0 references
    Heyting algebra
    0 references
    game semantics
    0 references
    truth invariance
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references