Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics - Mogavero, Fabio (Atlantis Press : Imprint: Atlantis Press, 2013)