Some descending chains of incomplete modal logics (Q1177647)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Some descending chains of incomplete modal logics
scientific article

    Statements

    Some descending chains of incomplete modal logics (English)
    0 references
    0 references
    26 June 1992
    0 references
    An incomplete normal propositional modal logic is a logic not characterized by any class of frames and so, a fortiori, not characterized by the class of all its frames. It is known that there exist infinite classes of incomplete logics where all members of the class have exactly the same frames, though up to now few axiomatic descriptions of such classes have existed. This paper presents some descending chains of incomplete logics where each logic in the chain has exactly the same frames as the one below it.
    0 references
    propositional modal logic
    0 references
    incomplete logics
    0 references
    frames
    0 references

    Identifiers