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