No label defined (Q4748128)

From MaRDI portal
scientific article; zbMATH DE number 3803410
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 3803410

    Statements

    0 references
    1982
    0 references
    dynamic logic
    0 references
    algebraic semantics
    0 references
    completeness
    0 references
    Kripke semantics
    0 references
    filtration lemma
    0 references

    Identifiers