action logics