Sequent calculi for global modal consequence relations (Q2323632)

From MaRDI portal
Revision as of 14:34, 2 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Sequent calculi for global modal consequence relations
scientific article

    Statements

    Sequent calculi for global modal consequence relations (English)
    0 references
    0 references
    0 references
    3 September 2019
    0 references
    sequent calculus
    0 references
    modal logic
    0 references
    global consequence relation
    0 references

    Identifiers