Modal Logic - Jakub Szymanik
Nov 15, 2007 ... Proof You will be asked to prove this in the exercises. ?. 5 Frame properties. In
Section 3 we saw how the interpretation of the modal operators determines the
formulas which the operators should satisfy. Also, it naturally induces re-
strictions on the Kripke models. Note that in the examples above all these ...