I describe more details of David Lewis' Possible worlds within his theory of modality. I explore how he uses possible worlds and counterpart theory to investigate de re and de dicto modality, and provide a framework for modal logic. NOTE: I mention a yet-to-be produced video on transworld identity. That video is now available at
https://youtu.be/xuDF2vYWSk8.
By Dr. Gordon Pettit; see more at gordonpettit.org.