Modal Logics for Metric Spaces: Open Problems.

Agi Kurucz Frank Wolter Michael Zakharyaschev Modal Logics for Metric Spaces: Open Problems. 193-108 2005 conf/birthday/2005gabbay2 We Will Show Them! (2) db/conf/birthday/Gabbay2.html#KuruczWZ05