Parrow, J., et al.. Modal Logics for Nominal Transition Systems. Aug. 2015, doi:10.4230/lipics.concur.2015.198.