The modal logic of reverse mathematics (Q2339962)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The modal logic of reverse mathematics
scientific article

    Statements

    The modal logic of reverse mathematics (English)
    0 references
    0 references
    0 references
    0 references
    14 April 2015
    0 references
    reverse mathematics
    0 references
    modal logic
    0 references
    strict implication
    0 references
    automated reasoning
    0 references

    Identifiers