On expressive rule-based logics
arXiv:2202.01761
Abstract
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.
Changes to the original version: general fixes and restructuring. Also clarifications and a reference added