C. Benito-Monsalvo, “Local Applications of Logics via Model-Theoretic Interpretations”, LLP, vol. 31, no. 4, pp. 535–556, Jul. 2022.