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