Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard?

Bartosz Bednarczyk, Stphane Demri

Browse the full LICS paper archive.