Мухаметшина И. Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка. Analytica. 2023;8:90–103. doi:10.24412/2222-5331-2023-90-103