The Krohn-Rhodes Logics