Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
scientific article

    Statements

    Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (English)
    0 references
    0 references
    0 references
    22 March 2011
    0 references
    modal logics
    0 references
    hybrid logics
    0 references
    normal forms
    0 references
    modal depth
    0 references

    Identifiers