Report copyright - 5 MODEL THEORY OF MODAL LOGIC...Model Theory of Modal Logic 251 over the given frame (in effect an abstraction through implicit universal second-order quantification over all valuations);
Please pass captcha verification before submit form