не за что, вот ещё http://dic.academic.ru/dic.nsf/enc_philosophy/566/КРИПКЕhttp://utopiya.spb.ru/index.php?option=com_content&view=article&catid=74:-1&id=1059:2010-08-23-06-52-36&Itemid=202http://philosophy.ru/library/logic/kripke.htmlhttp://iph.ras.ru/elib/HP1_10.html