The theory of semantics of programming languages is related to model theory, as is program verification (in particular, model checking).
Descriptive complexity theory relates logics to computational complexity.