No label defined (Q4511321)

From MaRDI portal
scientific article; zbMATH DE number 1523046
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1523046

    Statements

    0 references
    0 references
    0 references
    30 October 2000
    0 references
    modal logic
    0 references
    modular natural deduction presentation
    0 references
    implementation in a logical framework
    0 references

    Identifiers