Completeness and decidability of tense logics closely related to logics above K4 (Q4338319)

From MaRDI portal
scientific article; zbMATH DE number 1014592
Language Label Description Also known as
English
Completeness and decidability of tense logics closely related to logics above K4
scientific article; zbMATH DE number 1014592

    Statements

    Completeness and decidability of tense logics closely related to logics above K4 (English)
    0 references
    0 references
    20 July 1998
    0 references
    completeness
    0 references
    decidability
    0 references
    modal logics
    0 references
    minimal tense extensions
    0 references
    finite width logics
    0 references
    cofinal subframe logics
    0 references
    finitely axiomatizable
    0 references

    Identifiers