Z-Logics Development