Modal Logics for Nominal Transition Systemsby Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas25 Oct