Definability in Normal Extensions of S4 (Q5294709)

From MaRDI portal
scientific article; zbMATH DE number 5174666
Language Label Description Also known as
English
Definability in Normal Extensions of S4
scientific article; zbMATH DE number 5174666

    Statements

    Definability in Normal Extensions of S4 (English)
    0 references
    26 July 2007
    0 references
    modal logic
    0 references
    Grzegorczyk logic
    0 references
    superintuitionistic logic
    0 references
    locally tabular extension
    0 references
    projective Beth property
    0 references

    Identifiers