Modal Logics for Nominal Transition Systems by Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas Oct 25