CRS and Guarded Logics, a fruitful contact
Johan van Benthem

Abstract:
We show how relativization techniques from algebra have led
to new guarded fragments in logic that bound quantification.
We also show how guarded fragments may be see equivalently
as forms of generalized semantics that lower complexity. 
Finally, we turn things around and discuss how this logic 
connection raises new questions for algebra.