hyperlogics