Closure Ordinals of the Two-Way Modal -Calculus.

Gian Carlo Milanese, Yde Venema

Browse the full WoLLIC paper archive.