Labelled modal logics: Quantifiers (Q1289100)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Labelled modal logics: Quantifiers
scientific article

    Statements

    Labelled modal logics: Quantifiers (English)
    0 references
    0 references
    0 references
    0 references
    29 March 2000
    0 references
    0 references
    quantified modal logic
    0 references
    free logic
    0 references
    labelled deductive systems
    0 references
    labelled natural deduction
    0 references
    proof systems
    0 references
    modal logic theorem prover
    0 references
    0 references