Lattices of finitely alternative normal tense logics (Q2062217)

From MaRDI portal
Revision as of 18:57, 19 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q590081)
scientific article
Language Label Description Also known as
English
Lattices of finitely alternative normal tense logics
scientific article

    Statements

    Lattices of finitely alternative normal tense logics (English)
    0 references
    0 references
    27 December 2021
    0 references
    normal tense logic
    0 references
    finite model property
    0 references
    finite axiomatizability
    0 references

    Identifiers