Michalczenia, P. First-Order Modal Semantics and Existence Predicate. B Sect Log 2022, 51, 317-327.