Modal interpolation via nested sequents (Q487689)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Modal interpolation via nested sequents
scientific article

    Statements

    Identifiers