Possibility Frames and Forcing for Modal Logic

Wesley H. Holliday

This paper develops the model theory of normal modal logics based on partial "possibilities" instead of total "worlds," following Humberstone (1981) instead of Kripke (1963). Possi…