P. Michalczenia, “First-Order Modal Semantics and Existence Predicate”, B Sect Log, vol. 51, no. 3, pp. 317–327, Jul. 2022, doi: 10.18778/0138-0680.2022.07.