mini logics