On Inverse Operators in Dynamic Epistemic Logic.

Shota Motoura, Shin-ya Katsumata

Browse the full LFCS paper archive.