 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 ...



