Первопорядковая модальная логика с 𝜆-оператором - Мухаметшина, Индира Искандаровна (Initia: Актуальные проблемы социальных наук (22-23 апреля 2022 г.) : материалы XXIV Международной конференции молодых ученых)