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