Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логикстатья