TY  - RPRT
TI  - Tableaux for epistemic Gödel logic
AU  - Marta Bílková
AU  - Thomas Ferguson
AU  - Daniil Kozhemiachenko
PY  - 2025
DO  - 10.1007/978-3-032-13562-9_17
UR  - https://arxiv.org/abs/2510.04642
ID  - 2510.04642
ER  -