Logics from Galois connections