Models, Logics, and Higher-Dimensional Categories