Admissible inference rules and semantic property of modal logics (Q823963)

From MaRDI portal
Revision as of 20:58, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Admissible inference rules and semantic property of modal logics
scientific article

    Statements

    Admissible inference rules and semantic property of modal logics (English)
    0 references
    14 December 2021
    0 references
    modal logic
    0 references
    frame and model Kripke
    0 references
    admissible inference rule
    0 references
    weak co-cover property
    0 references

    Identifiers