An introduction to modal logic