No label defined (Q4703137)

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

    Statements

    publication date
    14 December 1999
    0 references
    zbMATH Keywords
    intuitionistic modal logic
    0 references
    completeness results
    0 references
    finite model property
    0 references
    Kripke-type semantics
    0 references
    Ono frame
    0 references
    possible worlds
    0 references

    Identifiers

    zbMATH DE Number
    1377706
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4703137&oldid=28856215"
    Powered by MediaWiki