Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232)

From MaRDI portal
Revision as of 06:02, 10 July 2024 by Import240710060729 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 7760995
Language Label Description Also known as
English
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
scientific article; zbMATH DE number 7760995

    Statements

    Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    3 November 2023
    0 references
    description logic
    0 references
    modal logic
    0 references
    Craig interpolants
    0 references
    Beth definability
    0 references
    explicit definitions
    0 references
    computational complexity
    0 references

    Identifiers

    0 references
    0 references
    0 references