A counterexample in tense logic (Q1815425)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A counterexample in tense logic
scientific article

    Statements

    A counterexample in tense logic (English)
    0 references
    0 references
    26 June 1997
    0 references
    The paper presents an (infinitely axiomatizable) normal modal logic containing K4 which has the finite model property and the minimal tense extension of which is Kripke incomplete.
    0 references
    tense logic
    0 references
    Kripke completeness
    0 references
    modal logic
    0 references
    finite model property
    0 references
    minimal tense extension
    0 references

    Identifiers