论文标题
基于表达性规则的逻辑
On expressive rule-based logics
论文作者
论文摘要
我们研究了一个基于规则的逻辑家庭。重点是非常表现力的语言。我们为逻辑的表现力提供了一系列表征结果，并将它们与相应的游戏系统联系起来。
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.
