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