monadic predicate logics