A general Lindström theorem for some normal modal logics (Q2392014): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q29013753, #quickstatements; #temporary_batch_1719354588915
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Modal languages and bounded fragments of predicate logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3714043 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal characterisation theorems over special classes of frames / rank
 
Normal rank
Property / cites work
 
Property / cites work: Horn clauses and database dependencies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4003410 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterizations of negative definability in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2904060 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Extensions of Elementary Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3677149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3085171 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new modal Lindström theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lindstrom theorems for fragments of first-order logic / rank
 
Normal rank

Latest revision as of 18:08, 6 July 2024

scientific article
Language Label Description Also known as
English
A general Lindström theorem for some normal modal logics
scientific article

    Statements

    A general Lindström theorem for some normal modal logics (English)
    0 references
    0 references
    6 August 2013
    0 references
    0 references
    modal logic
    0 references
    Lindström's theorem
    0 references
    bisimulation
    0 references
    abstract model theory
    0 references
    0 references
    0 references