On expressive rule-based logics
Logic in Computer Science
2022-02-08 v2
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.
Cite
@article{arxiv.2202.01761,
title = {On expressive rule-based logics},
author = {Antti Kuusisto},
journal= {arXiv preprint arXiv:2202.01761},
year = {2022}
}
Comments
Changes to the original version: general fixes and restructuring. Also clarifications and a reference added