Semantic admissibility criteria for deduction rules in S4 and Int (Q1189069)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semantic admissibility criteria for deduction rules in S4 and Int
scientific article

    Statements

    Semantic admissibility criteria for deduction rules in S4 and Int (English)
    0 references
    26 September 1992
    0 references
    See the review in Zbl 0729.03013.
    0 references
    modal logic S4
    0 references
    admissible inference rules
    0 references
    intuitionistic logic
    0 references
    Kripke models
    0 references

    Identifiers