Updated mosca logics