Craig Interpolation via Hypersequents (Q5221855)

From MaRDI portal
scientific article; zbMATH DE number 7185550
Language Label Description Also known as
English
Craig Interpolation via Hypersequents
scientific article; zbMATH DE number 7185550

    Statements

    Craig Interpolation via Hypersequents (English)
    0 references
    0 references
    3 April 2020
    0 references
    Craig interpolation
    0 references
    hypersequent
    0 references
    structural proof theory
    0 references
    modal logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references