Expressive completeness through logically tractable models (Q490672): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03C13 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03C30 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03C40 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03C50 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6476488 / rank
 
Normal rank
Property / zbMATH Keywords
 
model theory
Property / zbMATH Keywords: model theory / rank
 
Normal rank
Property / zbMATH Keywords
 
finite model theory
Property / zbMATH Keywords: finite model theory / rank
 
Normal rank
Property / zbMATH Keywords
 
preservation
Property / zbMATH Keywords: preservation / rank
 
Normal rank
Property / zbMATH Keywords
 
expressive completeness
Property / zbMATH Keywords: expressive completeness / rank
 
Normal rank
Property / zbMATH Keywords
 
modal logic
Property / zbMATH Keywords: modal logic / rank
 
Normal rank
Property / zbMATH Keywords
 
guarded logic
Property / zbMATH Keywords: guarded logic / rank
 
Normal rank

Revision as of 21:40, 30 June 2023

scientific article
Language Label Description Also known as
English
Expressive completeness through logically tractable models
scientific article

    Statements

    Expressive completeness through logically tractable models (English)
    0 references
    0 references
    27 August 2015
    0 references
    model theory
    0 references
    finite model theory
    0 references
    preservation
    0 references
    expressive completeness
    0 references
    modal logic
    0 references
    guarded logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references