Through the early and mid-20th century, modal logics were developed as a syntactic extension of propositional logic to more faithfully capture aspects of natural language. We will describe a modal extension of propositional logic called S4 and its Kripke semantics, introducing propositional logic along the way. We'll then revisit some of the original issues motivated by natural language and possibly some mathematical applications.