Transfer logics to Model