Realization using the model existence theorem (Q2804327)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Realization using the model existence theorem
scientific article

    Statements

    Realization using the model existence theorem (English)
    0 references
    0 references
    28 April 2016
    0 references
    justification logic
    0 references
    logic of proof
    0 references
    model existence
    0 references
    realization
    0 references
    epistemic logic
    0 references

    Identifiers