Hybrid formulas and elementarily generated modal logics (Q2372681)

From MaRDI portal
Revision as of 07:54, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Hybrid formulas and elementarily generated modal logics
scientific article

    Statements

    Hybrid formulas and elementarily generated modal logics (English)
    0 references
    1 August 2007
    0 references
    0 references
    canonical modal logic
    0 references
    elementary frame class
    0 references
    Sahlqvist theorem
    0 references
    hybrid logic
    0 references
    0 references