Modal logics with LM-axioms (Q1136748): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q114693808, #quickstatements; #temporary_batch_1706273008033
ReferenceBot (talk | contribs)
Changed an Item
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Vladimir Vladimirovich Rybakov / rank
Normal rank
 
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: Q5734410 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4192037 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A class of decidable intermediate propositional logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional Calculus and Realizability / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Revision as of 04:17, 13 June 2024

scientific article
Language Label Description Also known as
English
Modal logics with LM-axioms
scientific article

    Statements

    Modal logics with LM-axioms (English)
    0 references
    0 references
    1979
    0 references
    0 references
    0 references
    0 references
    0 references
    decidable logics
    0 references
    modal logics
    0 references
    extensions of K4
    0 references
    LM-axioms
    0 references
    intuitionistic logic
    0 references
    finitely approximable logics
    0 references
    0 references