Joel David Hamkins, Wojciech Aleksander Wołoszyn, “Modal Model Theory”, Notre Dame J. Formal Logic, 65:1 (2024)
Sören Berger, Alexander Christensen Block, Benedikt Löwe, “The modal logic of abelian groups”, Algebra Univers., 84:3 (2023)
Denis I. Saveliev, Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 584