Cartesian Frames

Cartesian frames are a way to add a first-person perspective (with choices, uncertainty, and so on) on top of a set of possible worlds. This sequence introduces Cartesian frames and basic operations on frames.