TY - GEN AU - Поляк, Г. TI - Аналіз екзистенційних припущень у модальній логіці та ідея мультимодальної логіки існування KW - rubbk KW - 87.4 ER -