Tense logics over lattices (Q6102994)

From MaRDI portal
Revision as of 06:14, 10 July 2024 by Import240710060729 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 7691316
Language Label Description Also known as
English
Tense logics over lattices
scientific article; zbMATH DE number 7691316

    Statements

    Tense logics over lattices (English)
    0 references
    0 references
    0 references
    2 June 2023
    0 references
    tense logic
    0 references
    lattice
    0 references
    completeness
    0 references
    step-by-step
    0 references
    hybrid logic
    0 references
    modal logic
    0 references
    polyadic modal logic
    0 references

    Identifiers