2. Modal Logics The most familiar logics in the modal family are constructed from a weak logic called \(\bK\) (after Saul Kripke). Under the narrow reading, modal logic concerns necessity and possibility. A variety of different systems may be developed for such logics using \(\bK\) as a foundation. The symbols of \(\bK\) include ‘\({\sim}\)’ for ‘not’, ‘\(\rightarrow\)’ for ‘if…then’, and ‘\(\Box\
