Аналитические формулировки и модели Крипке некоторых пропозициональных логик первопорядкового следованиятезисы доклада