TY  - RPRT
TI  - The Hierarchy of Hyperlogics
AU  - Norine Coenen
AU  - Bernd Finkbeiner
AU  - Christopher Hahn
AU  - Jana Hofmann
PY  - 2020
DO  - 10.1109/lics.2019.8785713
UR  - https://arxiv.org/abs/2005.05934
ID  - 2005.05934
ER  -