Formal Modeling of Ignorance, Urbino 7-8 September. tr 2023, 17 (6).