%0 Generic %A Mogavero, Fabio. %@ 9789491216954 %T Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics / %U https://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.2991/978-94-91216-95-4