Some logics