Data Graphs with Incomplete Information (and a Way to Complete Them). - Carlos Areces; Valentin Cassano; Danae Dutto; Raul Fervari (JELIA, 2023)

Sequent Calculi for Data-Aware Modal Logics. - Carlos Areces; Valentin Cassano; Danae Dutto; Raul Fervari (CoRR, 2025)