Logics Technology Background