Финитная аппроксимируемость некоторых модальных логик, аксиоматизируемых псевдо-транзитивными формуламидипломная работа (Специалист)