We investigate a family of rule-based logics. The focus is on very expressive languages. We provide a range of characterization results for the expressive powers of the logics and relate them with corresponding game systems.

翻译：我们调查一套有章可循的逻辑,重点是非常直观的语言,我们为逻辑的表达力提供一系列定性结果,并将这些结果与相应的游戏系统联系起来。