Logics of general non-deterministic predicates: semantic aspects Academic Article