Media type: E-Article Title: Modal Logics for Nominal Transition Systems Contributor: Joachim Parrow; Johannes Borgström; Lars-Henrik Eriksson; Ramūnas Forsberg Gutkovas; Tjark Weber imprint: 2021 Published in: Logical Methods in Computer Science Language: English DOI: 10.23638/LMCS-17(1:6)2021 ISSN: 1860-5974 Origination: Footnote: Access State: Open Access