An introduction to modal epistemic logic and its intersections with philosophy (particularly epistemology). We discuss the logical omniscience problem—the puzzle that agents modeled in epistemic logic seem to know all logical consequences of what they know. We then explore standard Kripke-style semantics for modal operators and survey attempts to solve or sidestep the problem of logical omniscience.