Some Exponential Lower Bounds on Formula-size in Modal Logic.

Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev

Browse the full AiML paper archive.