Modal Logic - An Introduction to its Syntax and Semantics