On the Finite Model Property of Intuitionistic Modal Logics over MIPC (Q4704648)

From MaRDI portal
scientific article; zbMATH DE number 1369570
Language Label Description Also known as
English
On the Finite Model Property of Intuitionistic Modal Logics over MIPC
scientific article; zbMATH DE number 1369570

    Statements

    On the Finite Model Property of Intuitionistic Modal Logics over MIPC (English)
    0 references
    0 references
    0 references
    13 February 2000
    0 references
    finite model property
    0 references
    intuitionistic modal logic
    0 references

    Identifiers