The extensions of the modal logic <i>K</i>5 (Q3712313)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The extensions of the modal logic <i>K</i>5
scientific article

    Statements

    The extensions of the modal logic <i>K</i>5 (English)
    0 references
    0 references
    0 references
    1985
    0 references
    propositional modal logic
    0 references
    effectively decidable properties
    0 references
    Finite axiomatizations
    0 references

    Identifiers