The Hierarchy of Hyperlogics.

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann

Browse the full LICS paper archive.