TY  - RPRT
TI  - Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
AU  - Bartosz Bednarczyk
AU  - Stéphane Demri
PY  - 2022
DO  - 10.46298/lmcs-18(3:5)2022
UR  - https://arxiv.org/abs/2104.13122
ID  - 2104.13122
ER  -