МУХАМЕТШИНА, Индира. Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка. Analytica, [S. l.], v. 8, p. 90–103, 2023. DOI: 10.24412/2222-5331-2023-90-103. Disponível em: https://analytica-journal.ru/index.php/analytica/article/view/65.. Acesso em: 21 nov. 2024.