Cut Elimination in Nested Sequents for Intuitionistic Modal Logics (Q4910421)

From MaRDI portal
scientific article; zbMATH DE number 6145835
Language Label Description Also known as
English
Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
scientific article; zbMATH DE number 6145835

    Statements

    Cut Elimination in Nested Sequents for Intuitionistic Modal Logics (English)
    0 references
    0 references
    18 March 2013
    0 references

    Identifiers