Filtrations of generalized Veltman models (Q2827954)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Filtrations of generalized Veltman models
scientific article

    Statements

    Filtrations of generalized Veltman models (English)
    0 references
    0 references
    0 references
    24 October 2016
    0 references
    provability logic
    0 references
    Veltman model
    0 references
    modal logic
    0 references
    interpretability logic
    0 references
    generalized Veltman semantics
    0 references
    finite model property
    0 references
    filtration
    0 references

    Identifiers