Q2744124 (Q2744124): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q402119
Property / author
 
Property / author: Yde Venema / rank
Normal rank
 

Revision as of 14:36, 14 February 2024

scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    18 September 2001
    0 references
    modal languages
    0 references
    expressiveness
    0 references
    modal model theory
    0 references
    completeness
    0 references
    algebraic modal logic
    0 references
    (un)decidability
    0 references
    complexity classes
    0 references
    extensions of modal logic
    0 references
    propositional modal logic
    0 references
    logic of relational structures
    0 references
    tense logic
    0 references
    arrow logic
    0 references
    bisimulation
    0 references
    modal definability
    0 references
    correspondence theory
    0 references
    hybrid logic
    0 references
    guarded fragment
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references