Admissible rules for six intuitionistic modal logics (Q2683779)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Admissible rules for six intuitionistic modal logics
scientific article

    Statements

    Admissible rules for six intuitionistic modal logics (English)
    0 references
    15 February 2023
    0 references
    admissible rules
    0 references
    proof theory
    0 references
    intuitionistic modal logic
    0 references
    provability logic
    0 references
    Lax logic
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references