Semantic Perspectives in Logic
Johan van Benthem

Abstract:
This is a discussion of broad semantic perspectives running
through logic, starting with invariance and definability, 
then moving to combinations with inference and computation,
connecting different zoom levels arising in an invariance
perspective, reinterpreting model preservation theorems as generalized inference, and ending with the pervasive role 
of agency and games underneath the surface of semantics.