Characterizations of negative definability in modal logic (Q1577354)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Characterizations of negative definability in modal logic
scientific article

    Statements

    Characterizations of negative definability in modal logic (English)
    0 references
    0 references
    4 September 2000
    0 references
    0 references
    negative definability
    0 references
    negatively definable classes of Kripke frames
    0 references
    modal logic
    0 references
    irreflexivity rule
    0 references
    0 references