@misc{indiciae8596651c72b6, title = {Logics for Context-free Hyperproperties}, author = {Sarah Winter and Martin Zimmermann}, year = {2026}, url = {https://arxiv.org/abs/2605.04657}, note = {Source identifier: 2605.04657} }