In this talk I will evolve the ideas from my talk in Leicester and define trace logics ( which characterise non-deterministic and probabilistic coalgebras up to trace equivalence ) as join-semilattices with operators.