Типология признаков и модальная логикатезисы доклада