“…As future work, we intend to strengthen our results, as well as deepen the connections between free DLs with definite descriptions, on the one hand, and modal operators, on the other. On the epistemic side, we are interested in: (i) considering frames for the propositional modal logics K4, T, S4, or KD45, to model different doxastic or epistemic attitudes that might satisfy or not the so-called factivity and introspection principles [28]; (ii) investigating of non-rigid descriptions and names in the context of non-normal modal DLs, such as the ones obtained from the systems E, M, C, and N [34,35,36], to avoid the logical omniscience problem (i.e., an agent knows all the logical truths and all the consequences of their background knowledge), which affects all the systems extending K [37,38]; (iii) addressing less expressive DL languages, such as ℰℒ𝒪 𝜄 𝑢 , in an epistemic setting, and connect them with the recently investigated standpoint DL family [39,40].…”