Exercice corrigé Modal Logic - Jakub Szymanik pdf

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