Decidability of the interpolation problem and of related properties in tabular logics (Q431717)

From MaRDI portal
Revision as of 17:24, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Decidability of the interpolation problem and of related properties in tabular logics
scientific article

    Statements

    title
    Decidability of the interpolation problem and of related properties in tabular logics (English)
    0 references
    publication date
    29 June 2012
    0 references
    zbMATH Keywords
    decidability
    0 references
    tabular logics
    0 references
    interpolation property
    0 references
    Beth definability property
    0 references
    Halldén property
    0 references
    cites work
    Q5824680
    0 references
    Q5541360
    0 references
    Q3714043
    0 references
    Q3022776
    0 references
    Q5477357
    0 references
    Q4451641
    0 references
    Q3128959
    0 references
    Q5465446
    0 references
    Q3012532
    0 references
    Q4936636
    0 references
    Q4249028
    0 references
    Q4273484
    0 references
    Q5519127
    0 references
    Q4463933
    0 references
    Q4249225
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B55
    0 references
    03B45
    0 references
    03B53
    0 references
    03B25
    0 references
    03C40
    0 references
    zbMATH DE Number
    6051456
    0 references
    OpenAlex ID
    W2075252106
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q431717&oldid=38346216"
    Powered by MediaWiki