Tense logics over lattices (Q6102994)

From MaRDI portal
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
    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