Modal logic and the polynomial hierarchy: from QBFs to K and back.

Anupam Das, Sonia Marin

Browse the full AiML paper archive.