Logics in Computer Science: A Study on Extensions of