TY  - RPRT
TI  - A Gödel Modal Logic Over Witnessed Models
AU  - Mauro Ferrari
AU  - Camillo Fiorentini
AU  - Paolo Giardini
AU  - Ricardo Oscar Rodriguez
PY  - 2026
DO  - 10.4204/eptcs.447.20
UR  - https://arxiv.org/abs/2606.31906
ID  - 2606.31906
ER  -