[[Abstract logic]] [[Comparing logics]] [[Generalized quantifiers]] [[Back and forth]]