Text this: Modal Logics for Nominal Transition Systems