An Introduction to Classical and Modal Logics