Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics