Xun Wang. Completeness Theorems for $\exists \Box $-Fragment of First-Order Modal Logic. In Sujata Ghosh, Thomas Icard, editors, Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings. Volume 13039 of Lecture Notes in Computer Science, pages 246-258, Springer, 2021. [doi]
Abstract is missing.