zero-order logics