Labelled propositional modal logics: theory and practice (Q4381865)

From MaRDI portal
scientific article; zbMATH DE number 1132973
Language Label Description Also known as
English
Labelled propositional modal logics: theory and practice
scientific article; zbMATH DE number 1132973

    Statements

    Labelled propositional modal logics: theory and practice (English)
    0 references
    0 references
    0 references
    0 references
    25 March 1998
    0 references
    propositional modal logics
    0 references
    labelled deductive systems
    0 references
    Isabelle logical framework
    0 references

    Identifiers