Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence
scientific article

    Statements

    Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (English)
    0 references
    0 references
    0 references
    0 references
    17 September 2019
    0 references
    structural operational semantics
    0 references
    weak semantics
    0 references
    modal logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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