  Kripke semantics for propositional modal logic is, by now, a very familiar thing. Here is a quick presentation to establish notation, and to point out how one of Frege’s proposals fits in. A more detailed presentation can be found in the article on modal logic in this encyclopedia.