A Systematic Presentation of Quantified Modal Logics (Q4796510)

From MaRDI portal
scientific article; zbMATH DE number 1876808
Language Label Description Also known as
English
A Systematic Presentation of Quantified Modal Logics
scientific article; zbMATH DE number 1876808

    Statements

    A Systematic Presentation of Quantified Modal Logics (English)
    0 references
    0 references
    0 references
    16 September 2003
    0 references
    labelled sequent calculi
    0 references
    quantified normal modal logics
    0 references
    normalization
    0 references

    Identifiers