Completeness for flat modal fixpoint logics (Q638475)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Completeness for flat modal fixpoint logics
scientific article

    Statements

    Completeness for flat modal fixpoint logics (English)
    0 references
    0 references
    0 references
    12 September 2011
    0 references
    0 references
    0 references
    0 references
    0 references
    fixpoint logic
    0 references
    modal logic
    0 references
    axiomatization
    0 references
    completeness
    0 references
    modal algebra
    0 references
    representation theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references