Loopy Logics