Syntactic refutations against finite models in modal logic (Q1903134)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Syntactic refutations against finite models in modal logic
scientific article

    Statements

    Syntactic refutations against finite models in modal logic (English)
    0 references
    0 references
    18 January 1996
    0 references
    syntactic refutation systems
    0 references
    normal modal propositional logics
    0 references
    modal logic
    0 references
    finite model property
    0 references

    Identifiers