 Much research has investigated the complexity-theoretic properties of this logic, of its fragments, and its extensions (Ebbing, Lohmann, &amp; Yang 2011; Ebbing &amp; Lohmann 2012; Lohmann &amp; Vollmer 2013).