Title: Logics for Mazurkiewicz traces