Prehistoric graph in modal derivations and self-referentiality (Q1678748)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Prehistoric graph in modal derivations and self-referentiality
scientific article

    Statements

    Prehistoric graph in modal derivations and self-referentiality (English)
    0 references
    0 references
    7 November 2017
    0 references
    logic of proofs
    0 references
    justification logic
    0 references
    self-referentiality
    0 references

    Identifiers