Undefinability of propositional quantifiers in the modal system S4 (Q1902553)

From MaRDI portal
Revision as of 06:10, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Undefinability of propositional quantifiers in the modal system S4
scientific article

    Statements

    Undefinability of propositional quantifiers in the modal system S4 (English)
    0 references
    0 references
    0 references
    0 references
    7 February 1996
    0 references
    0 references
    0 references
    0 references
    0 references
    modal logic S4
    0 references
    propositional quantifiers
    0 references