Post complete and 0-axiomatizable modal logics (Q920977)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Post complete and 0-axiomatizable modal logics
scientific article

    Statements

    Post complete and 0-axiomatizable modal logics (English)
    0 references
    0 references
    1990
    0 references
    A modal logic is said to be Post complete if it has no proper consistent extensions. The Post number p(L) of a logic L is the cardinal of the set of all Post complete extensions of L. The author proves that for any n, \(1\leq n\leq 2^{\aleph_ 0}\), there exist \(2^{\aleph_ 0}\) normal modal logics with Post number equal to n. The investigation is done via the study of dual spaces of free algebras without generators over the varieties of modal algebras.
    0 references
    0 references
    0 references
    0 references
    0 references
    modal logic
    0 references
    Post complete
    0 references
    Post number
    0 references
    Post complete extensions
    0 references
    normal modal logics
    0 references
    free algebras
    0 references
    modal algebras
    0 references
    0 references