Completeness of modal logics with prefinite width (Q1835665): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1669761
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / author
 
Property / author: Vladimir Vladimirovich Rybakov / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic semantics for modal logics I / rank
 
Normal rank
Property / cites work
 
Property / cites work: An incompleteness theorem in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4192037 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics containing <i>K</i>4. Part I / rank
 
Normal rank

Latest revision as of 16:52, 13 June 2024

scientific article
Language Label Description Also known as
English
Completeness of modal logics with prefinite width
scientific article

    Statements

    Completeness of modal logics with prefinite width (English)
    0 references
    1983
    0 references
    incomparable elements
    0 references
    completeness
    0 references
    finite model property
    0 references
    finite slice logics
    0 references

    Identifiers