Return to Article Details Local Applications of Logics via Model-Theoretic Interpretations Download Download PDF