On the size of refutation Kripke models for some linear modal and tense logics (Q1155046)

From MaRDI portal
Revision as of 01:46, 14 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the size of refutation Kripke models for some linear modal and tense logics
scientific article

    Statements

    On the size of refutation Kripke models for some linear modal and tense logics (English)
    0 references
    0 references
    1980
    0 references
    finite model property
    0 references
    satisfiability problem
    0 references

    Identifiers