Definite descriptions are widely discussed in linguistics and formal semantics, but their
formal treatment in logic is surprisingly modest. In this article we present a sound, complete …

Finding a logical formula that separates positive and negative examples given in the form of
labeled data items is fundamental in applications such as concept learning, reverse …

We provide a version of first-order hybrid tense logic with predicate abstracts and definite
descriptions as the only non-rigid terms. It is formalised by means of a tableau calculus …

Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent
device for object identification in knowledge representation. In first-order modal logic …

The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it
is valid. The projective Beth definability property (PBDP) states that an explicit definition …

In this paper, we study computational complexity and expressive power of modal operators
for definite descriptions, which correspond to statements 'the modal world which satisfies …

We show that the vast majority of extensions of the description logic $\mathcal {EL} $ do not
enjoy the Craig interpolation nor the projective Beth definability property. This is the case, for …

The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it
is valid. The projective Beth definability property (PBDP) states that an explicit definition …

Definite descriptions, such as' the General Chair of KR 2024', are a semantically transparent
device for object identification in knowledge representation. In first-order modal logic …

We introduce a constructive method applicable to a large number of description logics (DLs)
for establishing the concept-based Beth definability property (CBP) based on sequent …