Construction of an Explicit Basis for Rules Admissible in Modal System S4 (Q2765566): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q647402
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
label / enlabel / en
 
Construction of an Explicit Basis for Rules Admissible in Modal System S4
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 / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1002/1521-3870(200111)47:4<441::aid-malq441>3.0.co;2-j / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2080542786 / rank
 
Normal rank
Property / title
 
Construction of an Explicit Basis for Rules Admissible in Modal System S4 (English)
Property / title: Construction of an Explicit Basis for Rules Admissible in Modal System S4 (English) / rank
 
Normal rank

Latest revision as of 11:01, 30 July 2024

scientific article
Language Label Description Also known as
English
Construction of an Explicit Basis for Rules Admissible in Modal System S4
scientific article

    Statements

    24 July 2002
    0 references
    admissible inference rules
    0 references
    basis for admissible rules
    0 references
    basis for quasi-identities
    0 references
    modal logic S4
    0 references
    free modal algebra
    0 references
    Construction of an Explicit Basis for Rules Admissible in Modal System S4 (English)
    0 references

    Identifiers